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:

Lógica Proposicional - Lógica de Predicados - Métodos de demostración Matemática - Programación Lógica - Verificación de programas secuenciales.

	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)
	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 Computacional - José Luis Fernández Vindel, Ángeles Manjarrés Riesco, Francisco Javier Díez Vegas - Dpto. Inteligencia Artificial, E.T.S.I. Informática - UNED - 2003.(enlace)
	Prolog, programming for artificial intelligence - Bratko, Ivan. Addison-Wesley - 3ra. Edición, 2001 - ISBN: 0201416069. (Ubicación en biblioteca:depósito)
	Foundations Of Databases - Abiteboul; Hull; Vianu - Addison Wesley Publishing Company - ISBN: 0201537710 - 1995.
	Finite Model Theory - Ebbinghaus, H.D.; Flum, J.- Springer Verlag - ISBN: 3540212027 - 1991.
	Mathematical Logic - Ebbinghaus, H.D; Flum, J.; Thomas, W.- Springer Verlag, - ISBN: 0387942580 - 1994.
	Lógica Para Matemáticos - Hamilton. - Paraninfo - 1981.
	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.(enlace)