|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Intelixencia Artificial |
 Subjects |
| Logic |
| Sources of information |
| Identifying Data | 2022/23 | |||||||||||||
| Subject | Logic | Code | 614G03016 | |||||||||||
| Study programme |
|
|||||||||||||
| Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
| Graduate | 2nd four-month period |
First | Basic training | 6 | ||||||||||
|
||||||||||||||
| Basic |
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 |
|
|
|
| Complementary | |
|
|
|
