Logics For Artificial Intelligence – Siena

Università degli Studi di Siena · Ingegneria dell'Informazione e Scienze Matematiche · tutti i canali con docenti e libri, a.a. 2026/2027

Docente non ancora indicato Canale unico

Corso di laurea: Applied Mathematics – sede di Siena · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU

Siena · Ingegneria dell'Informazione e Scienze Matematiche · CFU · apri nel catalogo · Applied Mathematics – sede di Siena · 2º anno · 2º semestre ›

Il docente indica 15 testi · da studiare tutti

Abiteboul – Foundations of Databases Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Ben-Ari – Mathematical Logic for Computer Science Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Chang – Model Theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Cintula – Handbook of Mathematical Fuzzy Logic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Cintula – Logic and Implication Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Ebbinghaus – Finite Model Theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Enderton – A Mathematical Introduction to Logic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Gabbay – The Many Valued and Nonmonotonic Turn in…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Hájek – Metamathematics of Fuzzy Logic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Hodges – Model Theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Lewis – Elements of the Theory of Computation Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Libkin – Elements of Finite Model Theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Restall – An Introduction to Substructural Logics Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Russell – Artificial Intelligence Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Smith – Vagueness and Degrees of Truth Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Libri consigliati nell'a.a. 2025/2026

Serge Abiteboul – And Victor Vianu Cerca su Amazon ›Da acquistare più volumi: vol. 37, vol. 38Verificato sulla scheda ufficiale il 02/10/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.

Argomenti del programma: 1. Introduzione: Prospettiva storica sul ruolo della logica nella scienza e nella tecnologia, con particolare attenzione alle interazioni con l'intelligenza artificiale. 2. Fondamenti di logica matematica: Richiami di logica proposizionale e del primo ordine classica e risultati utili di teoria dei modelli (compattezza, ultraprodotti, teoremi di Löwenheim-Skolem, equivalenza elementare, teoremi di Lindström, ecc.).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.