Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7064, 50 lugares. 48 alumnos.
Profesor Francisco Hernández Quiroz lu mi vi 11 a 12 204 (Yelizcalli)
Ayudante Marco Vladimir Lemus Yáñez ma ju 11 a 12 204 (Yelizcalli)
Ayudante Naomi Itzel Reyes Granados ma ju 11 a 12
Ayud. Lab. Emiliano Galeana Araujo ju 8 a 10 303 (Yelizcalli)
Ayud. Lab. José Ricardo Desales Santos ju 8 a 10

 

Lógica Computacional

Francisco Hernández Quiroz
Departamento de Matemáticas (cub. 025)
Facultad de Ciencias
e-mail: fhq@ciencias.unam.mx
Página web: http://lya.fciencias.unam.mx/fhq/

Enlace a Google Classroom:

https://classroom.google.com/c/NjI4MjA3NzMzMTgx?cjc=wigabtz

Temario

1. Inducción y recursión

2. Cálculo de proposiciones

3. Cálculo de predicados

4. Programación lógica y bases de datos

5. Lógicas modales

6. Verificación de programas y otras aplicaciones de lógica modal

Requisitos

• Teoría de conjuntos básica.
• Estructuras discretas (de preferencia).
• Programación en un lenguaje imperativo, lógico o funcional (de preferencia).

Método de trabajo y evaluación

El curso será presencial pero la asistencia a las clases no es obligatoria y los alumnos con problemas de movilidad o con capacidad autodidacta sólo tendrán que asistir a los exámenes.

Además de la parte teórica, se realizarán prácticas de programación.

Habrá seis tareas y tres exámenes (una tarea por tema y un examen por cada dos temas) y dos reposiciones de exámenes parciales o un final. También habrá seis prácticas de programación. Los exámenes contarán el 70% de la calificación, las tareas el 15% y las prácticas el 15% restante.

Bibliografía

[1] K. Apt, From Logic Programming to Prolog, Prentice Hall, 1997.

[2] Mike Clarke y Steve Reeves, Logic for Computer Science, Addison Wesley, 2003.

[3] J.H. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving, 2nd ed., Dover, 2015.

[4] David Harel, Dexter Kozen y Jerzy Tiuryn, Dynamic Logic, Foundations of Computing, The MIT Press, 2000.

[5] Michael Huth y Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed., Cambridge University Press, 2004.

[6] Z. Manna y R. Waldinger, The Logical Basis for Computer Programming, vol. 1, Addison Wesley, 1985.

[7] Open Logic Project, The Open Logic Text. Complete Build, 2020, URL: http://builds.openlogicproject.org/open-logic-complete.pfd

[8] J. von Leeuwen, ed., Handbook of Theoretical Computer Science, vol. B, The MIT Press/Elsevier, 1990.

 


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.