Documentación para "Lógica matemática y funadamentos" (2018-19)

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

Vídeos

Libros

  1. R. Bornat Proof and disproof in formal logic: an introduction for programmers (Oxford University Press, 2005)
  2. K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming. (Imperial College, 1994)
  3. M. Huth y M. Ryan Logic in computer science: Modelling and reasoning about systems (Cambridge University Press, 2004) [Incluye el tutor en la Red].

Isabelle/HOL

  1. H. Towsner Isabelle / Proof General Cheat Sheet
  2. Documentación de Isabelle

Cursos relacionados

  1. J. Fleuriot Automated reasoning. (Univ. de Edimburgo).
  2. G. Smolka Introduction to computational logic (Univ. de Sarre)
  3. B.C. Peirce et als. Software foundations (Vol. 1: Logical foundations) (Univ. de Pensilvania).
  4. J. Blanchette y J. Höltz Logical verification (Vrije Universiteit Amsterdam).
  5. M. Greenberg Discrete mathematics and functional programming.
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, 24-1-2022
Creative Commons License Esta obra está bajo una licencia de Creative Commons.