Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7042, 48 lugares. 48 alumnos.
Profesor Pilar Selene Linares Arévalo lu mi vi 11 a 12 205 (Yelizcalli)
Ayudante Uriel Agustín Ochoa Gónzalez ma ju 11 a 12 205 (Yelizcalli)
Ayudante Diego Murillo Albarran ma ju 11 a 12
Ayud. Lab. Manuel Soto Romero mi 16 a 18 302 (Yelizcalli)
Ayud. Lab. Víctor Zamora Gutiérrez mi 16 a 18

 

Página del curso: http://sites.ciencias.unam.mx/logica-computacional-2017-2/

No se aceptarán extraordinarios largos.

Temario:

  1. Lógica Proposicional
  2. Lógica de Predicados
  3. Argumentos lógicos
  4. Razonamiento ecuacional
  5. Deducción natural en lógica de predicados y el Isomorfismo de Curry-Howard

Evaluación:

  • Ejercicios semanales
  • Tareas
  • Exámenes
  • Prácticas

 


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.