Documentación para "Lógica informática" (2016-17)

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

  1. Vídeos de deducción natural con Pandora: ejemplo 1 y ejemplo 2.

Libros

  1. J.A. Alonso y J. Borrego Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Ed. Kronos, 2002).
  2. M. Ben-Ari Mathematical logic for computer science (Springer-Verlag, 2001)
  3. R. Bornat Proof and disproof in formal logic: an introduction for programmers (Oxford University Press, 2005)
  4. I. Bratko Prolog programming for artificial intelligence (Pearson, 2001)
  5. K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming. (Imperial College, 1994)
  6. M. Fitting First-order logic and automated theorem proving (Springer, 1995).
  7. J.H. Gallier Logic for computer science (Foundations of automatic theorem proving) (Wiley, 1986)
  8. M. Huth y M. Ryan Logic in computer science: Modelling and reasoning about systems (Cambridge University Press, 2004) [Incluye el tutor en la Red].
  9. 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).
  10. A. Nerode y R.A. Shore Logic for applications (Springer, 1997)
  11. S. Reeves y M. Clarke Logic for computer science (Addison-Wesley 1990 & 2003)
  12. U. Schöning Logic for computer scientists (Birkhäuser, 1989)

Apuntes de cursos

  1. José A. Alonso Temas de "Lógica informática" (2014-15) (Universidad de Sevilla, 2012).
  2. José A. Alonso Soluciones de exámenes de "Lógica informática". (Universidad de Sevilla, 2009).
  3. José A. Alonso Lógica en Haskell. (Universidad de Sevilla, 2007).
  4. J.L. Fernández, A. Manjarrés y F.J. Díez Lógica Computacional (UNED, Madrid, 2007)).
  5. O. Gasquet, F. Schwarzentruber y M. Strecker Logique (Univ. de Toulouse, 2010).
  6. I. Hodkinson Logic (Imperial College, 2010).
  7. S. Hölldobler Computational logic (TDU (Technische Universität Dresden), 2000)
  8. P. Lucas, M. van Gerven y A. Hommersom Knowledge representation and reasoning (Logic meets probability theory) (Universidad de Nijmegen, 2011)
  9. L. Paulson Logic and Proof (Universidad de Cambridge, 2011)
  10. 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, 2014-15).
  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. F. Félix Lara Lógica informática (Univ. de Sevilla, 2015-16).
  6. 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. Michael Genesereth Introduction to Logic (Coursera, septiembre de 2012).
  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. Aart Middeldorp et als. Logic (University of Innsbruck, 2011-12).
  8. Adolfo Neto Lógica para Computação (Univ. Tecnologica Federal do Paraná, 2011-12).
  9. Larry Paulson Logic and Proof (Univ. de Cambridge, 2011-12).
  10. Moshe Y. Vardi Logic in Computer Science (Univ. de Rice, 2005-06).
  11. Michael Winter Logic in Computer Science (Brock University, Ontario, Canada, 2010-11).

Universidad de Sevilla
María José Hidalgo Doblado
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 14-9-2016
Creative Commons License Esta obra está bajo una licencia de Creative Commons.