Grao en Intelixencia Artificial |
Asignaturas |
Lógica |
Fuentes de información |
Datos Identificativos | 2023/24 | |||||||||||||
Asignatura | Lógica | Código | 614G03016 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 2º cuatrimestre |
Primero | Formación básica | 6 | ||||||||||
|
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 |
|
|
Complementária | |
|
|