| Datos Identificativos | 2024/25 | |||||||||||||
| Asignatura | Lóxica | Código | 614G03016 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 2º cuadrimestre |
Primeiro | Formación básica | 6 | ||||||||||
|
||||||||||||||
| Bibliografía básica |
M. Ben-Ari (2012). Mathematical Logic for Computer Science. Springer, London
Luis de Ledesma (2011). Lógica para la computación. RA-MA
Ivan Bratko (2001). Prolog Programming for Artificial Intelligence. Harlow, England |
|
|
|
| Bibliografía complementaria | |
|
|