Lógica Computacional!
Introducción!
rafael ramirez
[email protected]
55.316 (Tanger)
Lógica Computacional!
Lógica Computacional
Temas:
1. 2. 3. 4. Lógica proposicional
Lógica de predicados
Programación lógica
Especificación y verificación de programas
Lógica Computacional
Evaluación:
Examen teoría
Prácticas
Seminarios
Participación
60%
30%
10%
se ha de aprobar tanto teoria como prác/sem
Lógica Computacional
Seminarios (5): grupos de 2-4
Prácticas (4): grupos de 2
Lógica Computacional
E. Burke, Logic and its Applications
Prentice Hall 1996
Ben-Ari, Mathematical Logic for Computer Science
Prentice Hall 2001 (QA9 .B46 2001)
M. Huth, Logic in computer Science,
Cambridge Press 2000 (QA76.9.L63 H88 2000)
Mendelson, Introduction to Mathematical Logic
D.Van Nostrand Company, 1964 (BC135 .C48 1970)
Lógica Computacional
Contacto:
Clase
Seminarios/Prácticas
Email
Horas oficina: cita via email
Anuncios, documentacion, …
Moodle + http://www.dtic.upf.edu/~rramirez/lc/
Introducción!
Si riego mi jardin, entonces las flores creceran;
Si las flores no crecen, entonces las malasyerbas lo haran;
Sabemos que las malasyerbas creceran en mi jardin;
Por lo tanto, yo riego mi jardin.
8
Introducción
Si canto una cancion, entonces estoy contento;
Si bailo, entonces me veo tonto;
Si estoy contento y me veo tonto, entonces me estoy riendo;
No me estoy riendo;
Por lo tanto no estoy cantando una cancion o no estoy
bailando
9
Introducción
Tres casas contiguas:
Los ingleses viven en la casa roja.
El jaguar es la mascota de los franceses.
Los japoneses viven a la derecha de los dueños del caracol.
Los dueños del caracol viven a la derecha de la casa azul.
Quien vive donde y que mascota tiene?
Hay solo una solución?
10
Introducción
Una definición de lógica:
la lógica es el análisis de los métodos de razonamiento
En el estudio de estos métodos, la lógica esta mas
interesada en la forma mas que en el contenido
de los argumentos.
11
Introducción
Ejemplos:
1.
La suma de los digitos de un múltiplo de 3 es un múltiplo de 3
(premisa)
La suma de los digitos de 10¹º no es un múltiplo de 3 (premisa)
10¹º no es un multiplo de 3 (conclusión)
2.
Todo estudiante de la Pompeu juega tenis (premisa)
Juan no juega tenis (premisa)
Juan no es estudiante de la pompeu (conclusión)
12
Introducción
La logica no estudia la verdad o falsedad de las
premisas y la conclusion, sino que estudia si la
verdad de las premisas implica la verdad de la
conclusion.
Las premisas y conclusion en 1 y 2 tienen la forma:
Todo elemento de S tiene la propiedad P (premisa)
X no tiene la propiedad P (premisa)
X no es un miembro de S (conclusión)
13
Introducción
Hay que tener precaución al usar lenguaje natural
(p.e. castellano, catalán). El lenguaje natural es una
notación imprecisa (ambigua)
Juan ve a Pedro con el telescopio
Some cars rattle;
my car is some car;
therefore, my car rattles.
Por lo tanto se necesita un lenguaje simbólico para
remplazar al lenguaje natural: lenguage formal
14
0
