Lógica para Computación

Licenciatura en Ciencias de la Computación          


Contenidos

04.03.24

La lógica juega un papel básico en la informática, brinda una herramienta teórica para especificaciones formales en diferentes áreas: lenguajes de programación, diseño y verificación de sistemas hard y soft, bases de datos, complejidad computacional, inteligencia artificial, etc. Además, proporcionan la madurez y agilidad necesarias para asimilar los conceptos, lenguajes, técnicas y herramientas informáticas que surjan en el futuro. En este curso se abordará la siguiente temática:

Cálculo Proposicional - Un Sistema Formal para el Cálculo Proposicional - Cálculo de Predicados - Extensiones de Primer Orden - Incompletitud de los Sistemas Formales Aritméticos.

BibliografÍa

04.03.24

Introduction To Mathematical Logic - Mendelson, Elliot - Chapman & Hall Book, CRC Press, Taylor & Francis Group, Boca Raton - 6ta. edición - ISBN: 978-1-4822-3778-8 - 2015. (enlace)
Ebbinghaus, H.D; Flum, J.; Thomas, W.- "Mathematical Logic", Springer Verlag, 1989.
Ebbinghaus, H.D.; Flum, J.- "Finite Model Theory", Springer Verlag, 1991.
Lógica para Matemáticos - Hamilton. - Paraninfo, 1981.
Foundations Of Databases - Abiteboul; Hull; Vianu. Addison Wesley Publishing Company, 1995.
Aristóteles- "Organón"
El orden de los conceptos - Maritain, J.
Lógica para Informática - Claudia Pons, Ricardo Rosenfeld y Clara Smith - EDULP, Facultad de Informática (UNLP) - ISBN: 978-950-34-1510-8 - 2017.(enlace)
Lógica Matemática - Alessandra Gallinari - Apuntes Ingeniería en Informática, ESCET, Universidad Rey Juan Carlos - Madrid- 2007 (enlace).
Apuntes de la Cátedra.

 

Programa

Programa 2024