En esta página se recogen enlaces que sirven de
documentación a la asignatura de "Lógica
matemática y fundamentos" del curso 2011-12.
Libros
- M. Ben-Ari
Mathematical logic for computer science
(Springer-Verlag, 2001)
- R. Bornat
Proof and disproof in formal logic: an introduction for
programmers
(Oxford University Press, 2005)
- K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers
Reasoned programming.
(Imperial College, 1994)
- M. Fitting
First-order logic and automated theorem proving
(Springer, 1995).
- J.H. Gallier
Logic for computer science (Foundations of automatic theorem
proving).
(Wiley, 1986)
- C. Hall y J. O'Donnell
Discrete mathematics using a computer.
(Springer, 2000).
- M. Huth y M. Ryan
Logic in computer science: Modelling and reasoning about systems
(Cambridge University Press, 2004) [Incluye el
tutor en la Red].
- L. de Ledesma
Lógica para la computación (Teorías de primer
orden, resolución y elementos de programación
lógica y Prolog).
(RaMa, 2009).
- A. Nerode y R.A. Shore
Logic for applications
(Springer, 1997)
- S. Reeves y M. Clarke
Logic for computer science
(Addison-Wesley 1990 & 2003)
- U. Schöning
Logic for computer scientists
(Birkhäuser, 1989)
Apuntes de cursos
- José A. Alonso
Temas de "Lógica matemática y fundamentos" (2011-12)
(Universidad de Sevilla, 2012).
- I. Hodkinson
Logic (Imperial College, 2010).
- S. Hölldobler
Computational logic (TDU (Technische Universität Dresden),
2000)
- P. Lucas, M. van Gerven y A. Hommersom
Knowledge representation and reasoning (Logic meets probability theory)
(Universidad de Nijmegen, 2011)
- L. Paulson
Logic and Proof (Universidad de Cambridge, 2011)
- M. Winter
Logic in Computer Science (Brock University, 2010)
|