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
- M. Ben-Ari
Mathematical logic for computer science
(Springer-Verlag, 2001)
- R. Bornat
Proof and disproof in formal logic: an introduction for
programmers
(Oxford University Press, 2005)
- K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers
Reasoned programming.
(Imperial College, 1994)
- M. Fitting
First-order logic and automated theorem proving
(Springer, 1995).
- J.H. Gallier
Logic for computer science (Foundations of automatic theorem
proving)
(Wiley, 1986)
- C. Hall y J. O'Donnell
Discrete mathematics using a computer.
(Springer, 2000).
- M. Huth y M. Ryan
Logic in computer science: Modelling and reasoning about systems
(Cambridge University Press, 2004) [Incluye el
tutor en la Red].
- 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).
- A. Nerode y R.A. Shore
Logic for applications
(Springer, 1997)
- S. Reeves y M. Clarke
Logic for computer science
(Addison-Wesley 1990 & 2003)
- U. Schöning
Logic for computer scientists
(Birkhäuser, 1989)
Apuntes de cursos
- José A. Alonso
Temas de "Lógica matemática y fundamentos" (2011-12)
(Universidad de Sevilla, 2012).
- J.L. Fernández, A. Manjarrés y F.J. Díez
Lógica Computacional (UNED, Madrid, 2007)).
- O. Gasquet, F. Schwarzentruber y M. Strecker
Logique (Univ. de Toulouse, 2010).
- I. Hodkinson
Logic (Imperial College, 2010).
- S. Hölldobler
Computational logic (TDU (Technische Universität Dresden),
2000)
- P. Lucas, M. van Gerven y A. Hommersom
Knowledge representation and reasoning (Logic meets probability theory)
(Universidad de Nijmegen, 2011)
- L. Paulson
Logic and Proof (Universidad de Cambridge, 2011)
- M. Winter
Logic in Computer Science (Brock University, 2010)
Cursos de lógica en universidades españolas
- José A. Alonso
Lógica informática
(Univ. de Sevilla, 2011-12).
- M. Jesús Castel de Haro
Lógica computacional
(Univ. de Alicante, 2010-11).
- Jose E. Labra
Lógica
(Univ. de Oviedo, 2008-09)
- Alessandra Gallinari
Lógica matemática
(Univ. Rey Juan Carlos, 2010-11).
- Francisco J. Díez
Lógica computacional.
(UNED (Universidad Nacional de Educación a Distancia), 2008-09)
Cursos de lógica en universidades extranjeras
- Olivier Gasquet
Introduction à la logique
(Univ. de Toulouse).
- Michael Genesereth
Computational Logic
(Univ. de Stanford, 2011-12).
- Valentin Goranko
Introduction to mathematical logic
(Wits University, Johannesburg, South Africa, 2008-09).
- Valentin Goranko
Logic in Computer Science, Artificial Intelligence and Multi-agent
Systems
(DTU (Technical University of Denmark), 2011-12).
- Ian Hodkinson
Logic
(Imperial College, Londres, 2010-11).
- Steffen Hölldobler
Logic
(TDU (Technische Universität Dresden), 2011-12)
- James Hook y Tim Sheard
Mathematical logic via foundational algorithms
(Portland State University, 2011).
- Aart Middeldorp et als.
Logic
(University of Innsbruck, 2011-12).
- Adolfo Neto
Lógica para Computação
(Univ. Tecnologica Federal do Paraná, 2011-12).
- Larry Paulson
Logic and Proof
(Univ. de Cambridge, 2011-12).
- Moshe Y. Vardi
Logic in Computer Science
(Univ. de Rice, 2005-06).
- Michael Winter
Logic in Computer Science
(Brock University, Ontario, Canada, 2010-11).
|