Menu Content/Inhalt
Home
Lógica

Contenidos Mínimos:

  1. Lenguajes de primer orden.
  2. Modelos.
  3. Definición inductiva del valor de verdad (Tarski).
  4. Equivalencia elemental.
  5. Teorema de Lowenheim-Skolem.
  6. Teorema de Compacidad.
  7. Teorías formales.
  8. Pruebas formales.
  9. Teorema de corrección.
  10. Teorema de completitud (Gödel).
  11. Isomorfismos.
  12. Equivalencia elemental.
  13. Juegos de Enrenfeuch.

Bibliografía:

  1. D. VAN DALEN. Logic and Structure.
  2. E. MENDELSON. Introduction to mathematical logic. The Wadsworth Brooks/Cole Math. Series. 1987.
  3. J. D. MONK. Mathematical Logic. Graduate Texts in Mathematics 37, 1976.
  4. H. D. EBBINGHAUS, J. FLUM & W. THOMAS. Mathematical Logic. Undergraduate texts in Math., Springer-Verlag, 1984.

 

 
< Anterior   Siguiente >
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com