| INGENIERO EN INFORMATICA |
| GONZÁLEZ MARTÍNEZ , JOSÉ RAMÓN |
darim@unileon.es
| ARIAS MOSQUERA , DANIEL |
| GONZÁLEZ MARTÍNEZ , JOSÉ RAMÓN |
| Tribunal titular | ||
|---|---|---|
| Cargo | Departamento | Profesor |
| Tribunal suplente | |||
|---|---|---|---|
| Cargo | Departamento | Profesor | |
|
Guia docente | |||||||||||||||||||||
| DATOS IDENTIFICATIVOS | 2011_12 | |||||||||||||||||||||
| Asignatura | LOGICA COMPUTACIONAL | Código | 00702012 | |||||||||||||||||||
| Enseñanza |
|
|||||||||||||||||||||
| Descriptores | Cr.totales | Tipo | Curso | Semestre | ||||||||||||||||||
| 6 | Optativa | Segundo | Primero |
|||||||||||||||||||
| Idioma | ||||||||||||||||||||||
| Prerrequisitos | ||||||||||||||||||||||
| Departamento | MATEMATICAS |
|||||||||||||||||||||
| Responsable |
|
Correo-e | jrgonma@unileon.es darim@unileon.es |
|||||||||||||||||||
| Profesores/as |
|
|||||||||||||||||||||
| Web | http:// | |||||||||||||||||||||
| Descripción general | Adquirir rigor y destrezas en el razonamiento formal y axiomático. Comprender y asimilar la lógica proposicional y de primer orden (sus formas normales, la resolución general y la teoría interpretativa y la axiomática, así como su equivalencia). Iniciarse en PROLOG y en otras lógicas. | |||||||||||||||||||||
| Tribunales de Revisión |
|
|||||||||||||||||||||
| Objetivos |
| Adquirir rigor y destrezas en el razonamiento formal y axiomático. Comprender y asimilar la lógica proposicional y de primer orden (sus formas normales, la resolución general y la teoría interpretativa y la axiomática, así como su equivalencia). Iniciarse en PROLOG y en otras lógicas. |
| Metodologías |
|
No hay docencia al ser de Plan a extinguir |
| Contenidos |
| Bloque | Tema |
| "1. Lógica proposicional ? Sintaxis y semántica Lógica de proposiciones. Sintaxis. Semántica. Sistemas deductivos. ? Resolución proposicional Formas normales. La regla de resolución. Consistencia y completud. Estrategias de resolución ? Sistemas axiomáticos en lógica proposicional. 2. Álgebra de Boole ? Álgebra de Boole. 3. Lógica de primer orden ? Lógica de predicados. Sintaxis. Semántica. Equivalencias lógicas. Sistemas deductivos. ? El teorema de Herbrand. Formas normales. Universo de Herbrand. Teorema de Herbrand. ? Resolución general. Sustituciones. Unificación. Algoritmos de unificación. Algoritmo de resolución general ? Sistemas axiomáticos en lógica de primer orden 4. Complementos ? PROLOG. ? Otras lógicas." |
| Otras actividades |
|
No hay. |
| Evaluación |
| descripción | calificación | ||
| Otros comentarios y segunda convocatoria | |||
|
Para la evaluación de los conocimientos adquiridos se realizará exclusivamente un examen teórico-práctico que abarcará los contenidos descritos en el programa de la asignatura. |
|||
| Fuentes de información |
| Acceso a la Lista de lecturas de la asignatura |
| Básica | |
| "Paniagua, E., Sánchez, J. L., Martín, F. Lógica computacional. Thomson. Madrid. 2003. ISBN: 84-0732-182-0 Chang, C. L., Lee, R. C. T. Simbolic Logic and Mechanical Theorem Proving. Academic Press. 1973. I973. ISBN: 0-12-170350-9 " " | |
| Complementaria | |
| "Ben-Ari, Mordechai. Mathematica Logic for Computer Science. Springuer. 2001. ISBN: 1-85233-319-7 Cori, R., Lascar, D. Logique Mathématique. Masson. 1993. ISBN: 2-225-84079-2, (vol 1º) y 2-225-84080-6, (vol 2º) Galton, A. Logic for Information Technology. John Wiley & Sons. ISBN: 0-471-92777-5 Huth, M., Ryan, M. Logic in Computer Science. Cambridge University Press. 2004. ISBN: 0-521-54310-X Lassaigne, R., Rougemont, M. de. Logique et fondements de l?informatique. Hermes. 1993. ISBN: 2-86601-380-8 Nerode, A., Shore, R. Logic for Applications. Springer. 1997. ISBN:0-387-94893-7 Zhongwan, L. Mathematical Logic for Somputer Science. World Scientific. 1998. ISBN: 981-02-3091-5 " " |