Documentación para "Lógica informática" (2011-12)

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

  1. M. Ben-Ari Mathematical logic for computer science (Springer-Verlag, 2001)
  2. R. Bornat Proof and disproof in formal logic: an introduction for programmers (Oxford University Press, 2005)
  3. K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming. (Imperial College, 1994)
  4. M. Fitting First-order logic and automated theorem proving (Springer, 1995).
  5. J.H. Gallier Logic for computer science (Foundations of automatic theorem proving). (Wiley, 1986)
  6. C. Hall y J. O'Donnell Discrete mathematics using a computer. (Springer, 2000).
  7. M. Huth y M. Ryan Logic in computer science: Modelling and reasoning about systems (Cambridge University Press, 2004) [Incluye el tutor en la Red].
  8. 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).
  9. A. Nerode y R.A. Shore Logic for applications (Springer, 1997)
  10. S. Reeves y M. Clarke Logic for computer science (Addison-Wesley 1990 & 2003)
  11. U. Schöning Logic for computer scientists (Birkhäuser, 1989)

Apuntes de cursos

  1. José A. Alonso Temas de "Lógica matemática y fundamentos" (2011-12) (Universidad de Sevilla, 2012).
  2. I. Hodkinson Logic (Imperial College, 2010).
  3. S. Hölldobler Computational logic (TDU (Technische Universität Dresden), 2000)
  4. P. Lucas, M. van Gerven y A. Hommersom Knowledge representation and reasoning (Logic meets probability theory) (Universidad de Nijmegen, 2011)
  5. L. Paulson Logic and Proof (Universidad de Cambridge, 2011)
  6. M. Winter Logic in Computer Science (Brock University, 2010)

[ Inicial | Temas | Ejercicios | Documentación | Sistemas | Exámenes ]

Universidad de Sevilla
Creative Commons License
Esta obra está bajo una licencia de Creative Commons.