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.

	Mendelson, Elliot - "Introduction To Mathematical Logic", Van Nostrand Compaby, Inc, 1964.
	Ebbinghaus, H.D; Flum, J.; Thomas, W.- "Mathematical Logic", Springer Verlag, 1989.
	Ebbinghaus, H.D.; Flum, J.- "Finite Model Theory", Springer Verlag, 1991.
	Hamilton. - "Lógica Para Matemáticos", Paraninfo, 1981.
	Abiteboul; Hull; Vianu - "Foundations Of Databases". Addison Wesley Publishing Company, 1995.
	Aristóteles- "Organón"
	Maritain, J.- "El orden de los conceptos"
	Claudia Pons, Ricardo Rosenfeld y Clara Smith - "Lógica para informática " - Facultad de Informática (UNLP) - 2017.
	Apuntes de la Cátedra.

 

2024