Ebbinghaus – Finite Model Theory

Libro adottato a Siena, a.a. 2026/2027 · 2 canali

«Ebbinghaus – Finite Model Theory» è adottato per Logics For Artificial Intelligence (Applied Mathematics – sede di Siena – Siena); per Foundations Of Mathematics dal prof. Carles Noguera Clofent (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena – Siena).

Ebbinghaus – Finite Model TheoryCerca su Amazon ›

Come lo indica il docente: H.-D. Ebbinghaus, J. Flum, Finite Model Theory, Springer, 1995

Titolo: Finite model theory
Autori: Heinz-Dieter Ebbinghaus
Editore: Springer, 2006
ISBN: 9783540287872

Chi lo adotta

Logics For Artificial Intelligence – docente non ancora indicato (canale unico)Applied Mathematics – sede di Siena · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU
Foundations Of Mathematics – Prof. Carles Noguera Clofent (canale unico)Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · Laurea magistrale (LM-39) · esame facoltativo · Philosophy and Cognition · 6 CFU

Programma e testi di ogni canale

Logics For Artificial Intelligence 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 Theoryquesto libroCerca 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.

Foundations Of Mathematics – Prof. Carles Noguera Clofent Canale unico

Corso di laurea: Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · Laurea magistrale (LM-39) · esame facoltativo · Philosophy and Cognition · 6 CFU

Siena · Scienze sociali politiche e cognitive · 6 CFU · apri nel catalogo · Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena · 2º anno · 2º semestre ›