Documentación para "Lógica informática" (2015-16)
En esta página se recogen enlaces que sirven de documentación a la asignatura de "Lógica informática" del curso 2014-15.
VÃdeos
Libros
- J.A. Alonso y J. Borrego Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Ed. Kronos, 2002).
- 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)
- I. Bratko Prolog programming for artificial intelligence (Pearson, 2001)
- 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).
- 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 informática" (2014-15) (Universidad de Sevilla, 2012).
- José A. Alonso Soluciones de exámenes de "Lógica informática". (Universidad de Sevilla, 2009).
- José A. Alonso Lógica en Haskell. (Universidad de Sevilla, 2007).
- I. Hodkinson Logic (Imperial College, 2010).
- 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)