Principal

Lógica Computacional 2015-2


Avisos recientes

  • Calificaciones Finales Ya están las calificaciones finales, para cualquier aclaración, solo se reciben el día de mañana, miércoles 10 de junio de 10:30 a 11:30 de la mañana y de ...
    Publicado a las 9 jun. 2015 10:09 por José Manuel Reyes Snyder
  • Lista de rescate Hasta hoy los siguientes alumnos tienen derecho a rescate o final. Los demás interesados deben enviarme un correo a más tardar hoy jueves 4. Si no recibo correo no tendrán ...
    Publicado a las 4 jun. 2015 9:40 por Favio Miranda
  • Sobre el número de exámenes reprobados De acuerdo a las reglas de evaluación tienen derecho a promedio en caso de que tengan a lo más un exámen reprobado.
    Publicado a las 4 jun. 2015 9:37 por Favio Miranda
Mostrando entradas 1 - 3 de 33. Ver más »

Información general:                                                                                   

  • Lógica Computacional
  • Grupo 7296
  • Profesor: Dr. Favio Ezequiel Miranda Perea
  • Ayudante: José Manuel Reyes Snyder
  • Laboratorio: C. Moises Vázquez Reyes
  • Clase: lu,mi, vi 11-12
  • Ayudantía: ma,ju 11-12
  • Salón: P211
  • Laboratorio: Lab. CC2,  ju 2 - 4pm



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.
  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. El paradigma de programación lógica: definiciones inductivas y fundamentos de PROLOG
  5. Sistemas de Deducción natural.
  6. Aplicaciones: introducción a los sistemas de tipos, Coq.