Documentación para "Lógica matemática y funadamentos" (2016-17)
En esta página se recogen enlaces que sirven de documentación a la asignatura de "Lógica matemática y fundamentos" del curso 2016-17.
VÃdeos
- J.A. Alonso Deducción natural con Pandora.
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" (2016-17) (Universidad de Sevilla, 2016).
- 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)