Encabezado Facultad de Ciencias
presentacion
Navegación: Ciencias » Docencia » Horarios » presentacion » Temario

Temario

Puedes encontrar mayor información sobre el curso en nuestra página:

https://sites.google.com/a/ciencias.unam.mx/alogico/

  1. Introducción.
    • ¿Qué es la lógica?
    • Lógica y computación.
    • Un vistazo a la historia.
  2. Lógica proposicional.
    • Sintaxis.
    • Semántica.
    • Formalización.
    • Formas normales.
    • Sistemas deductivos.
    • Corrección y completitud.
  3. Lógica de predicados.
    • Sintaxis.
    • Recursión e inducción estructural.
    • Semántica.
    • Formalización.
    • Consecuencia lógica.
  4. Sistemas deductivos.
    • Tableaux semánticos.
    • Formas normales.
    • Deducción natural.
    • Resolución binaria.
  5. Programación Lógica.
    • Resolución SLD.
    • Prolog.
  6. Lógica modal.
    • Sintaxis.
    • Semántica.
    • Lógica epistémica.

 


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.