Libri UniversitariApri il catalogo

Hodges – Model Theory

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

«Hodges – 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); per Logica Matematica dal prof. Carles Noguera Clofent (Matematica – sede di Siena – Siena).

Hodges – Model TheoryCerca su Amazon ›

Come lo indica il docente: W. Hodges, Model Theory, Cambridge University Press, 1993

Titolo
Model theory
Autori
Wilfrid Hodges
Editore
Cambridge University Press, 1993
ISBN
9780521304429

Chi lo adotta

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 ›

Abiteboul – Foundations of DatabasesCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Handbook of Mathematical Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Logic and ImplicationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ebbinghaus – Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hájek – Metamathematics of Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model Theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Lewis – Elements of the Theory of ComputationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libkin – Elements of Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Restall – An Introduction to Substructural LogicsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Russell – Artificial IntelligenceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – Vagueness and Degrees of TruthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Serge Abiteboul – And Victor VianuCerca 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 ›

Abiteboul – Foundations of DatabasesCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Handbook of Mathematical Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cintula – Logic and ImplicationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ebbinghaus – Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hájek – Metamathematics of Fuzzy LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model Theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Lewis – Elements of the Theory of ComputationCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libkin – Elements of Finite Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Restall – An Introduction to Substructural LogicsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Russell – Artificial IntelligenceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – Vagueness and Degrees of TruthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Serge Abiteboul – And Victor VianuCerca 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.

Logica Matematica – Prof. Carles Noguera Clofent Canale unico

Corso di laurea: Matematica – sede di Siena · Laurea triennale (L-35) · 3º anno · 2º semestre · 9 CFU

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

Badia – What is mathematical logic?Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model Theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – The laws of truthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense e slide fornite dal docente.

Argomenti del programma: 1. Logica proposizionale: Notazioni di base. Sintassi della logica proposizionale. Semantica della logica proposizionale classica. Forme normali congiuntive e disgiuntive. Conseguenza semantica. Teorema di deduzione. Teorema di compattezza. 2. Teoria della dimostrazione per la logica proposizionale: Sistema formale alla Hilbert per la logica proposizionale classica. Correttezza. Lemma di Lindenbaum.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a