Datos Identificativos | 2013/14 | |||||||||||||
Asignatura | Lóxica para a Computación | Código | 614111626 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Todos | Optativa | 5.5 | ||||||||||
|
Bibliografía básica |
Nedore, A. e Shore, R. (1993). Logic for Applications. . Springer-Verlag Popkorn, S. (1994). First Steps in Modal Logic. Cambridge University Press Reeves, S. e Clarke, M. (1990). Logic for Computer Science. John Wiley & Sons Schöning, U.. (1989). Logic for Computer Scientist. . Birkhäuser Gibbins, P. (1988). Logic with Prolog. Claredon Press - Oxford. Ben-Ari, M (1993). Mathematical Logic for Computer Science. Prentice Hall C. Beall; Bas C. van Fraassen (2003). Possibilities and Paradox. An Introduction to Modal and Many-valued Logic . Oxford University Press |
|
|
Bibliografía complementaria | |
|