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

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" (2016-17) (Universidad de Sevilla, 2016).
  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)

Universidad de Sevilla
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 06-2-2017
Creative Commons License Esta obra está bajo una licencia de Creative Commons.