Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
[CC2001] IEEE-CS y ACM. Computing Curricula 2001.
http://www.computer.org/education/cc2001/
[Clocksin87] Clocksin, W. F. y Mellish, C. S. (1987). Programación en Prolog. Gustavo
Gili.
[Dodd90] Dodd, T. (1990). Prolog. A Logical Approach. Oxford University Press.
[IEEE83] Educational Activities Board IEEE.
The 1983 Model Program in Computer Science and Engineering.
IEEE Computing Society Press.1983
[IF-U84] A Modular Curriculum in Computer Science, 1984.
[IF-U00] Informatics Curriculum Framework 2000 for Higher Education, 2000.
[Sterling94] Sterling, L. y Shapiro, E. (1994). The Art of Prolog. Advanced Programming
Techniques. 2ª, The MIT Press.
1.3. Ubicación y relaciones en el plan de estudios
La asignatura Lógica Computacional forma parte de los planes de estudios de las
ingenierías informáticas de la universidad de Alicante. Se imparte en el primer
cuatrimestre del primer curso y tiene carácter de asignatura obligatoria contando con un
total de 6 créditos repartidos entre las clases de teoría (3 créditos) y las de aplicaciones de
la teoría en laboratorio (3 créditos). Su docencia la llevan a cabo profesores
pertenecientes al departamento de Ciencia de la Computación e Inteligencia Artificial, de
la Escuela Politécnica.
En base a los descriptores de esta asignatura (estudio de la lógica de primer orden,
sistemas de deducción, demostración automática y programación lógica) se establece una
relación de la misma con otras asignaturas de primer curso del plan de estudios.
Concretamente con:
Matemática Discreta: asignatura que se imparte en el segundo cuatrimestre (1 er curso) de
Ingeniería Informática como asignatura troncal. Entre sus descriptores están: la
aritmética entera y modular, combinatoria y grafos. Los sistemas de razonamiento
aportan la base necesaria para las demostraciones en estructuras discretas, además los
lenguajes normalizados y grafos participan de mutuo acuerdo en problemas NPcompletos
(problemas SAT).
Álgebra: asignatura que se imparte en el primer cuatrimestre (1 er curso) de Ingeniería
Informática como asignatura troncal. Dentro de sus descriptores aparece la teoría de
conjuntos, conceptos estrechamente relacionados con el aprendizaje del lenguaje de
la lógica de primer orden.
Además de la relación con asignaturas de primer curso, Lógica Computacional
aparece como prerrequisito de las asignaturas Fundamentos de Inteligencia Artificial y Técnicas
de Inteligencia Artificial (troncales de 4º curso y con 4,5 créditos cada una).
Fundamentos de Inteligencia Artificial: se imparte en el primer cuatrimestre de Ingeniería
Informática como asignatura troncal. Entre sus descriptores se encuentran los
sistemas basados en el conocimiento que se desarrollan con una fuerte componente
lógica, en particular la lógica de predicados y la demostración automática, por ello es
imprescindible su conocimiento para cursar esta asignatura.
Técnicas de Inteligencia Artificial: se imparte en el primer cuatrimestre de Ingeniería
Informática como asignatura troncal. Entre sus descriptores se encuentran el
8