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.
Los informáticos necesitan analizar las propiedades lógicas de sus sistemas mientras los diseñan, desarrollan, verifican y mantienen.
El objeto de estudio de la lógica son las formas de razonamiento; es decir, el proceso por el cual se derivan conclusiones a partir de premisas, apoyándose en verdades supuestas. Su base formal permite no sólo abordar nuevas problemáticas, sino también desarrollar sistemas informáticos mejor estructurados, más flexibles y potentes, y de mayor calidad profesional.
EXAMEN FINAL: EXAMEN LIBRE:Acá te contamos cómo regularizar, promocionar y aprobar la materia. Si regularizás después tenés que rendirla. Si promocionás ya está !!!!
CÓMO REGULARIZÁS: CÓMO APROBÁS:
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)
Cálculo Proposicional: Aspectos Sintácticos. Deducción. Aspectos Semánticos. Consecuencia Lógica. Cálculo de Predicados: Aspectos Sintácticos. Aspectos Semánticos. Deducción. Consecuencia Lógica. Utilización de técnicas lógicas en la informática. Programación Lógica. Lenguaje representativo del paradigma lógico.
