Documentación para "Lógica informática" (2006-07)

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

Apuntes de cursos

• José A. Alonso Temas de "Lógica informática" (2005-06) (Universidad de Sevilla, 2006).
• José A. Alonso Soluciones de exámenes de "Lógica informática". (Universidad de Sevilla, 2007).
• 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 ]