Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7038, 45 lugares. 45 alumnos.
Profesor Favio Ezequiel Miranda Perea lu mi vi 11 a 12 P102
Ayudante Susana Hahn Martín Lunas ma ju 11 a 12 P102
Ayudante Lourdes del Carmen González Huesca
Ayud. Lab. Fernando Abigail Galicia Mendoza ju 16 a 18 Taller de Lenguajes de Programación

 

Sinopsis:

Este curso proporciona una introducción a la Lógica Matemática desde la perspectiva de las Ciencias de la computación haciendo énfasis en algunas de sus aplicaciones. Al final del curso el alumno estará preparado para usar la lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.

Temario:

  1. Lógica proposicional: recordatorio, formas normales, resolución binaria, el problema SAT, deducción natural.
  2. Lógica de predicados de primer orden: sintaxis y semántica, semantica denotativa de lenguajes de programación.
  3. Análisis de argumentos: consecuencia lógica, tableaux y resolución binaria.
  4. Lógica ecuacional.
  5. Deducción natural en lógica de predicados.
  6. El paradigma de programación lógica: definiciones inductivas y fundamentos de PROLOG.
  7. Aplicaciones: introducción a los sistemas de tipos.

La página del curso está aquí

 


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.