Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7040, 41 lugares. 41 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 11 a 12 P210
Ayudante Manuel Soto Romero ma ju 11 a 12 P210
Ayudante Uriel Agustín Ochoa Gónzalez ma ju 11 a 12
Ayud. Lab. Rafael Reyes Sánchez ju 14 a 16 Taller de Lenguajes de Programación
 

Requisitos deseables: Estructuras discretas, Álgebra superior.

Temario:

  1. Repaso de Lógica Proposicional: Nociones básicas, tablas de verdad; Formas Normales; Resolución Binaria; Aplicación: problemas SAT.

  2. Lógica de Primer Orden: Motivación, introducción; Sintaxis y especificación formal; Formas normales; Unificación y Resolución; Programación Lógica.

  3. Semántica de Lógica de Primer Orden: Semántica denotativa para expresiones aritméticas.

  4. Lógica para la práctica: Razonamiento ecuacional; Deducción Natural; Cálculo de Secuentes y razonamiento hacia atrás.

Evaluación

  • 40% Exámenes aproximandamente 6, promedio aprobatorio para tener derecho a calificación final.

  • 30% Tareas aproximadamente 8, en parejas o equipos de máximo 3 personas.

  • 30% Prácticas aproximadamente 7 , en parejas.

  • No hay final ni reposiciones.
  • El ajuste es hacia arriba: a partir de 0.6, por ejemplo, 7.49 es 7 y 7.54 también es 7.
  • Para el caso de una calificacion aprobatoria final, ésta debe ser mayor a 6 sin ajuste, es decir, 5.9 es 5.

Próximamente información detallada en la página:

https://sites.google.com/ciencias.unam.mx/logicacomp/inicio

 


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.