Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
7. BIBLIOGRAFÍA Y MATERIALES
7.1. Bibliografía básica
Los libros siguientes se consideran básicos para la preparación de la asignatura,
tanto para las clases de teoría en aulas, como para las clases de lógica en laboratorio
(prácticas):
Language, Proof and Logic. Barwise, Jhon y Etchemendy, Jhon.1999-2000, CSLI Publicat.,
Stanford, California.
Lógica Informática. Cuena, J. Alianza Editorial, S.A. 1985.
Lógica de Primer Orden. Castel de Haro, Mª J. y Llorens Largo, F. Dpto. Ciencia de la
Computación e Inteligencia Artificial. Univ. de Alicante, 1998.
Logic for Applications. Nerode, A. y Shore, R.A. Springer-Verlag, 2 nd edition, 1997.
Lógica Formal para Informáticos. Arenas Alegrías, L. Ediciones Díaz de Santos, S. A.,
Madrid 1996.
Logic for Computer Science. Reeves, S. y Clarke, M. (1993). Reprinted. First printed 1990,
International Computer Science Series, Addison-Wesley Publishing.
Lógica Simbólica. Garrido, M. Editorial Tecnos, S.A., 2ª edición, 1991.
Programación en Prolog. Clocksin W. F. y Mellish C. S. Ed. Gustavo Gili, 1987.
7.2. Bibliografía complementaria
Elementos de lógica formal. Badesa, F. Jané, I. Jansana, R. Editorial Ariel. Barcelona, 1998
Hyperproof. Barwise, Jhon y Etchemendy, Jhon. CSLI lecture notes nº 42, 1994. CSLI
Publicat., Stanford, California.
Logic for Computer Science. Reeves, S. y Clarke, M. Ed. Addison-Wesley, 1990.
Lógica Matemática. Ejercicios. I. Antón, A. y Casañ, P. Nau Llibres. 1987.
Lógica, Programación e Inteligencia Artificial. Kowalski, R. A. Ed. Díaz de Santos, 1986.
Logic Programming. Prolog and its applications. Kowalski, B. y Kriwaczek, F. Addison-Wesley
Pub. Co., 1986.
Prolog. Programming for Artificial Intelligence. Bratko, I. Addison-Wesley, 2 nd edition, 1990.
Un Systeme de Communication Homme-Machine en Francais. Colmerauer, Kanoui, Roussel y
Pasero. Groupe de Recherche en Intelligence Artificielle, Université d’Aix-Marseille,
1973.
The Craft of Prolog. O´Keefe, Richard A. The MIT Press. Cambridge, MA. 1990.
O The Essence of Logic. Kelly, J. Prentice Hall, 1997.
7.3. Otros recursos
El alumno tiene a su disposición otros recurso para el aprendizaje de la asignatura
que mostramos en los siguientes puntos:
Página web de la asignatura: Información completa y actualizada de la
asignatura durante el curso académico. Informa sobre
− Administración: profesores, periodización y criterios de evaluación.
− Clases teóricas: transparencias y enlaces de los temas.
− Clases prácticas: enunciados, software y seminarios.
− Trabajos: trabajos complementarios, enlaces interesantes.
− Estudiantes: ejercicios y exámenes.
− Novedades y anuncios.
Página web de Lógica: Contiene material software, apuntes y manuales de
Prolog. Recomendada para cualquier alumno de asignaturas relacionadas con
lógica e impartidas desde el departamento de CCIA (UA).
27