Download Lógica Computacional

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