Guías
Lenguajes y Computabilidad
- 1 Notación y conceptos básicos
- 2 Dos codificaciones importantes
- 3 Procedimientos efectivos
- 4 El paradigma de Turing
- 5 Funciones \(\mathcal{\Sigma}\)-recursivas primitivas
- 6 Minimización y funciones \(\mathcal{\Sigma}\)-recursivas
- 7 El paradigma imperativo de Neumann
- 8 Batallas entre paradigmas, Tesis de Church
- 9 Resultados básicos presentados en paradigma recursivo
Lógica
- 0 Notación y conceptos básicos
- 1 Relaciones de equivalencia
- 2 Posets
- 3 Reticulados par
- 4 Reticulados terna
- 5 Reticulados acotados y Reticulados complementados
- 6 Reticulados cuaterna y su lenguaje elemental
- 7 Estructuras y su lenguaje elemental asociado
- 8 Programa de lógica matemática
- 9 Modelo matemático de la sintaxis elemental
- 10 Modelo matemático del valor de verdad de una fórmula
- 11 Notación declaratoria
- 12 Teorías de primer orden
- 13 El álgebra de Lindenbaum
- 14 Teorema de completitud