Encabezado Facultad de Ciencias
presentacion
Navegación: Ciencias » Docencia » Horarios » presentacion » Presentación del grupo 4228 - 2009-2.

Presentación del grupo 4228 - 2009-2.

Lógica II
Nota: Lo azul es opcional
El comienzo...
  1. Repaso de logica Proposicional y Álgebras de Boole
  2. Aplicaciones del Teorema de Compacidad Proposicional: Teorema de Köning, Teorema de Erdõs-Bruijn, Axioma de elección para conjuntos de conjuntos finitos, Teorema de la Repesentación de Lindenbaum, ¿porqué compacidad se llama Compacidad?
  3. Espacios de Stone y equivalencia topológica de Compacidad
  4. Álgebra de Lindembaum sintáctica y el teorema de Correctud-Completud Proposicional
  5. Intuyendo la lógica intuicionista
Una invitación al magnífico Palacio de la Lógica de Primer Orden
  1. Semántica de Primer Orden: estructuras algebraico-relacionales, subestructuras, Teorema del Homomorfismo, Equivalencia elemental, Juegos de Ehrenfeucht-Fraïsse
  2. Colisión de dos mundos: La lógica proposicional en la lógica de primer orden
  3. El ultraproducto: Teorema de Lös (se pronuncia Wosh)
  4. El Ave Fénix renace: Compacidad
  5. Aplicaciones del Ultrafiltro y Compacidad: Axiomatizabilidad finita y propiedades de primer orden
  6. Hipernaturales
  7. Hiper-reales
  8. Los números sureales
  9. Teorema de Löwenheim-Skolem
  10. Test de Vaught
Un buen final...
  1. Prueba semántica de Completud-Correctud de Primer Orden
Continuará...

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.