Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2017-2

Cuarto Semestre, Lógica Computacional

Grupo 7040, 48 lugares. 48 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 11 a 12 P211
Ayudante Roberto Monroy Argumedo ma ju 11 a 12 P211
Ayudante Diego Murillo Albarran ma ju 11 a 12
Ayud. Lab. Fernando Abigail Galicia Mendoza mi 16 a 18 Laboratorio de Enseñanza de Cómputo de Matemáticas

 

Página del curso https://sites.google.com/ciencias.unam.mx/lcomp172-7040/inicio

Lista de distribución https://groups.google.com/d/forum/lcomp172-7040

No se aceptarán extraordinarios largos.

Prerrequisitos deseables: Estructuras discretas, Álgebra superior.

Temario:

  1. Lógica Proposicional (repaso, semántica formal, tableaux, resolución binaria, deducción natural)
  2. Lógica de Predicados (introducción, sintaxis, especificación formal, semántica formal)
  3. Argumentos lógicos (consecuencia lógica, tableaux, resolución, Programación Lógica)
  4. Razonamiento ecuacional (introducción, sistema para el RE, RE certificado)
  5. Deducción natural en lógica de predicados y el Isomorfismo de Curry-Howard

Evaluación:

  • Ejercicios semanales
  • Tareas (5)
  • Exámenes (5)
  • Prácticas (8 aprox.)

 


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.