"Lógica informática" (G1 2003-04): Documentación

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 (U. Cambridge, 2003)

Libros

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

Cursos

• Madrid: Univ. Politécnica Lógica formal
• Madrid: UNED Lógica computacional

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