Lógica para Computación

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.

	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.

 

2024