Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7057, 28 lugares. 19 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 11 a 12 002 (Yelizcalli)
Ayudante Tania Michelle Rubí Rojas ma ju 11 a 12 002 (Yelizcalli)
Ayud. Lab. María Fernanda Mendoza Castillo ju 14 a 16 Taller de Lenguajes de Programación

 

Página del curso: https://sites.google.com/ciencias.unam.mx/logicacomp/logicacomp2022-2

Primera sesión, lunes 14 febrero 2022 a la hora de clase en: https://meet.google.com/dav-meex-dkx


Classroom code ou4h6xn


Temario

  • Repaso de Lógica Proposicional (Nociones básicas, tablas de verdad, Conceptos semánticos, Formas Normales y Resolución Binaria, Algoritmo DPLL y problemas SAT)

  • Lógica de Primer Orden (Motivación, introducción, Sintaxis y especificación formal, Formas normales, Unificación y Resolución Binaria, Fundamentos de Programación Lógica y Prolog, Semántica de Lógica de Primer Orden)

  • Lógica para la práctica (Razonamiento ecuacional, Cálculo de Secuentes y razonamiento hacia atrás, Tácticas)

Evaluación

30% ejercicios semanales individuales

Disponible los lunes en Classroom y se deberá entregar a más tardar los viernes (de esa misma semana) a las 11:59 p.m. por la misma plataforma.

35% 5 exámenes individuales (martes) con fechas fijas

8 marzo / 29 marzo / 26 abril / 17 mayo / 1a semana de finales

35% Laboratorio en parejas o individual

Se asignan los jueves para entregar el viernes siguiente hasta las 23:59. Al primer día de retraso se califica sobre 8. Al segundo día, sobre 6. A partir del tercer
día, se recibirá y se calificara para retroalimentación pero la calificación será máximo 5.

 


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.