Documentación para "Lógica matemática y funadamentos" (2019-20)

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

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. Isabelle/HOL and Proof General reference [Isabelle/HOL support wiki].
  2. Isabelle cheat sheet.
  3. Cheat sheet for the Isabelle/HOL theorem prover in ProofGeneral.
  4. 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.