Table of Contents
( \newcommand{\kernel}{\mathrm{null}\,}\)
Table of Contents
-
Licensing
-
Materia Frontal
-
I: Conjuntos, Relaciones, Funciones
- 1: Conjuntos
- 2: Relaciones
- 3: Funciones
-
4: El tamaño de los juegos
- 4.1: Introducción
- 4.2: Enumeraciones y conjuntos contables
- 4.3: Método Zig-Zag de Cantor
- 4.4: Funciones y códigos de emparejamiento
- 4.5: Una función de emparejamiento alternativa
- 4.6: Conjuntos incontables
- 4.7: Reducción
- 4.8: Equinumerosidad
- 4.9: Conjuntos de diferentes tamaños y teorema de Cantor
- 4.10: La noción de tamaño, y Schröder-Bernstein
- 4.11: Resumen
-
II: Lógica de primer orden
-
5: Sintaxis y Semántica
- 5.1: Introducción
- 5.2: Idiomas de primer orden
- 5.3: Términos y Fórmulas
- 5.4: Legibilidad única
- 5.5: Operador principal de una Fórmula
- 5.6: Subfórmulas
- 5.7: Variables libres y oraciones
- 5.8: Sustitución
- 5.9: Estructuras para Lenguas de Primer Orden
- 5.10: Estructuras cubiertas para idiomas de primer orden
- 5.11: Satisfacción de una Fórmula en una Estructura
- 5.12: Asignaciones Variables
- 5.13: Extensionalidad
- 5.14: Nociones semánticas
- 5.15: Resumen
- 6: Las teorías y sus modelos
- 7: Sistemas de derivación
-
8: El Cálculo Secuente
- 8.1: Reglas y Derivaciones
- 8.2: Reglas proposicionales
- 8.3: Reglas del cuantificador
- 8.4: Reglas Estructurales
- 8.5: Derivaciones
- 8.6: Ejemplos de Derivaciones
- 8.7: Derivaciones con cuantificadores
- 8.8: Nociones teóricas de prueba
- 8.9: Derivabilidad y consistencia
- 8.10: Derivabilidad y los conectivos proposicionales
- 8.11: Derivabilidad y los cuantificadores
- 8.12: Solidez
- 8.13: Derivaciones con predicado de identidad
- 8.14: Validez con predicado de identidad
- 8.15: Resumen
-
9: Deducción natural
- 9.1: Reglas y Derivaciones
- 9.2: Reglas proposicionales
- 9.3: Reglas del cuantificador
- 9.4: Derivaciones
- 9.5: Ejemplos de Derivaciones
- 9.6: Derivaciones con cuantificadores
- 9.7: Nociones teóricas de prueba
- 9.8: Derivabilidad y consistencia
- 9.9: Derivabilidad y los conectivos proposicionales
- 9.10: Derivabilidad y los cuantificadores
- 9.11: Solidez
- 9.12: Derivaciones con predicado de identidad
- 9.13: Validez con predicado de identidad
- 9.14: Resumen
-
10: El teorema de la completitud
- 10.1: Introducción
- 10.2: Esquema de la Prueba
- 10.3: Completar Conjuntos Consistentes de Sentencias
- 10.4: Expansión Henkin
- 10.5: Lema de Lindenbaum
- 10.6: Construcción de un Modelo
- 10.7: Identidad
- 10.8: El teorema de la integridad
- 10.9: El teorema de la compacidad
- 10.10: Una prueba directa del teorema de la compacidad
- 10.11: El teorema de Löwenheim-Skolem
- 10.12: Resumen
- 11: Más allá de la lógica de primer orden
-
5: Sintaxis y Semántica
-
III: Máquinas Turing
-
Index
-
Glossary
-
Detailed Licensing
-
Volver Materia