Documentación para "Lógica informática" (2005-06)

En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Lógica informática" del curso 2005-06.

Apuntes de cursos

• J.L. Fernández, A. Manjarrés y F.J. Díez Lógica Computacional (UNED, 2003)
• L. Paulson Logic and Proof (Universidad de Cambridge, 2005)

Libros

• M. Huth y M. Ryan Logic in Computer Science: Modelling and reasoning about systems (Cambridge University Press, 2004) [Incluye el tutor en la Red].

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]