Libri UniversitariLogics For Artificial Intelligence
Applied Mathematics – sede di Siena · Università degli Studi di Siena · esame facoltativo · canale unico
Libri del canale
Logics For Artificial Intelligence
Il docente indica 15 testi · da studiare tutti
Libri consigliati nell'a.a. 2025/2026
Bacheca del docente: cosa indica di studiare
- La bibliografia di riferimento è la medesima sia per gli studenti frequentanti che per i non frequentanti. Materiali integrativi saranno resi disponibili.
Apri nel catalogo: Applied Mathematics – sede di Siena, 2º anno, tutte le materie e i canali ›
Testi d'esame di Logics For Artificial Intelligence, canale unico, corso di laurea in Applied Mathematics – sede di Siena (Laurea magistrale (LM-40)), Università degli Studi di Siena, esame facoltativo, a.a. 2026/2027. Libri adottati: Abiteboul – Foundations of Databases; Ben-Ari – Mathematical Logic for Computer Science; Chang – Model Theory; Cintula – Handbook of Mathematical Fuzzy Logic; Cintula – Logic and Implication; Ebbinghaus – Finite Model Theory; Enderton – A Mathematical Introduction to Logic; Gabbay – The Many Valued and Nonmonotonic Turn in…; Hájek – Metamathematics of Fuzzy Logic; Hodges – Model Theory; Lewis – Elements of the Theory of Computation; Libkin – Elements of Finite Model Theory; Restall – An Introduction to Substructural Logics; Russell – Artificial Intelligence; Smith – Vagueness and Degrees of Truth.