Documentación para "Lógica informática" (2013-14)

En esta página se recogen enlaces que sirven de documentación a la asignatura de "Lógica matemática y fundamentos" del curso 2013-14.

Vídeos

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. J.L. Fernández, A. Manjarrés y F.J. Díez Lógica Computacional (UNED, Madrid, 2007)).
  3. O. Gasquet, F. Schwarzentruber y M. Strecker Logique (Univ. de Toulouse, 2010).
  4. I. Hodkinson Logic (Imperial College, 2010).
  5. S. Hölldobler Computational logic (TDU (Technische Universität Dresden), 2000)
  6. P. Lucas, M. van Gerven y A. Hommersom Knowledge representation and reasoning (Logic meets probability theory) (Universidad de Nijmegen, 2011)
  7. L. Paulson Logic and Proof (Universidad de Cambridge, 2011)
  8. M. Winter Logic in Computer Science (Brock University, 2010)

Cursos de lógica en universidades españolas

  1. José A. Alonso Lógica informática (Univ. de Sevilla, 2011-12).
  2. M. Jesús Castel de Haro Lógica computacional (Univ. de Alicante, 2010-11).
  3. Jose E. Labra Lógica (Univ. de Oviedo, 2008-09)
  4. Alessandra Gallinari Lógica matemática (Univ. Rey Juan Carlos, 2010-11).
  5. Francisco J. Díez Lógica computacional. (UNED (Universidad Nacional de Educación a Distancia), 2008-09)

Cursos de lógica en universidades extranjeras

  1. Olivier Gasquet Introduction à la logique (Univ. de Toulouse).
  2. Michael Genesereth Computational Logic (Univ. de Stanford, 2011-12).
  3. Valentin Goranko Introduction to mathematical logic (Wits University, Johannesburg, South Africa, 2008-09).
  4. Valentin Goranko Logic in Computer Science, Artificial Intelligence and Multi-agent Systems (DTU (Technical University of Denmark), 2011-12).
  5. Ian Hodkinson Logic (Imperial College, Londres, 2010-11).
  6. Steffen Hölldobler Logic (TDU (Technische Universität Dresden), 2011-12)
  7. James Hook y Tim Sheard Mathematical logic via foundational algorithms (Portland State University, 2011).
  8. Aart Middeldorp et als. Logic (University of Innsbruck, 2011-12).
  9. Adolfo Neto Lógica para Computação (Univ. Tecnologica Federal do Paraná, 2011-12).
  10. Larry Paulson Logic and Proof (Univ. de Cambridge, 2011-12).
  11. Moshe Y. Vardi Logic in Computer Science (Univ. de Rice, 2005-06).
  12. Michael Winter Logic in Computer Science (Brock University, Ontario, Canada, 2010-11).