Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Lóxica Computacional | Código | 614434004 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Mestrado Oficial | 1º cuadrimestre |
Primeiro | Obrigatoria | 6 | ||||||||||
|
Bibliografía básica |
(). . G. E. Hughes and M. J. Cresswell (1996). A new introduction to modal logic. Routledge S. Abramsky, D. M. Gabbay and T. S. E. Maibaum (1993). Handbook of Logic in Computer Science, vols. 1-5. Clarendon Press # D. M. Gabbay and F. Guenthner (). Handbook of Philosophical Logic, vols. I-IV. Kluwer Academic Publishers M. Huth and M. Ryan (2004). Logic in Computer Science. Cambridge University Press M. Ben-Ari (2001). Mathematical Logic for Computer Science. Springer-Verlag E. M. Clarke, O. Grumberg and D. Peled (1999). Model Checking. MIT Press |
|
|
Bibliografía complementaria | |
|