Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2024-1

Cuarto Semestre, Lógica Computacional

Grupo 7062, 42 lugares. 42 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 12 a 13 O127
Ayudante Fausto David Hernández Jasso ma ju 12 a 13 O127
Ayud. Lab. Juan Pablo Yamamoto Zazueta ma 10 a 12 Taller de Sistemas Operativos, Redes de Cómputo, Sistemas Distribuidos y Manejo de Información
Ayud. Lab. Juan Alfonso Garduño Solís ma 10 a 12

 

Los detalles del curso están en:
https://sites.google.com/ciencias.unam.mx/logicacomp/logicacomp2024-1

Código classroom: voylky7
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)

Se proporcionarán notas-resumen, boletín de ejercicios y retroalimentación de evaluaciones.

Evaluación


30 % tareas en equipo
Aproximadamente 5 tareas. Disponible los lunes en classroom y se deberá entregar a más tardar los viernes a la hora de clase.
35 % 5 exámenes individuales (jueves) con fechas fijas:
31 agosto / 28 septiembre / 26 octubre / 23 noviembre / 2a semana de finales

35 % Laboratorio en equipo (los máximos y mínimos de miembros se establecerán cuando se cierren las inscripciones)
Aproximadamente 6 prácticas. Se asignan los martes para entregar en el miércoles indicado hasta antes 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 revisará para retroalimentación sin calificación.

 


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.