Prof. Carles Noguera Clofent

Università degli Studi di Siena · Ingegneria dell'Informazione e Scienze Matematiche · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Carles Noguera Clofent

Badia – What is mathematical logic? – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Ben-Ari – Mathematical Logic for Computer Science – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Chang – Model Theory – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Enderton – A Mathematical Introduction to Logic – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Hodges – Model Theory – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Smith – The laws of truth – Logica Matematica (Matematica – sede di Siena, 3º anno · 2º semestre · 9 CFU)
Abiteboul – Foundations of Databases – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Ben-Ari – Mathematical Logic for Computer Science – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Chang – Model Theory – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Cintula – Handbook of Mathematical Fuzzy Logic – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Cintula – Logic and Implication – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Ebbinghaus – Finite Model Theory – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Enderton – A Mathematical Introduction to Logic – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Gabbay – The Many Valued and Nonmonotonic Turn in… – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Hájek – Metamathematics of Fuzzy Logic – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Hodges – Model Theory – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Lewis – Elements of the Theory of Computation – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Libkin – Elements of Finite Model Theory – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Restall – An Introduction to Substructural Logics – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Russell – Artificial Intelligence – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)
Smith – Vagueness and Degrees of Truth – Foundations Of Mathematics (Language and Mind: Linguistics and Cognitive Studies - Mente e Linguaggio: Linguistica e Studi Cognitivi – sede di Siena, esame facoltativo · Philosophy and Cognition · 6 CFU)

Materie del prof. Carles Noguera Clofent

Logica Matematica 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 ›

Il docente indica 6 testi · da studiare tutti

Badia – What is mathematical logic?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

Enderton – A Mathematical Introduction to 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

Smith – The laws of truth Cerca 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.

Foundations Of Mathematics 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 ›

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.

Domande frequenti

Quali libri consiglia il prof. Carles Noguera Clofent per Logica Matematica?

Badia – What is mathematical logic?; Ben-Ari – Mathematical Logic for Computer Science; Chang – Model Theory; Enderton – A Mathematical Introduction to Logic; Hodges – Model Theory; Smith – The laws of truth

Quali libri consiglia il prof. Carles Noguera Clofent per Foundations Of Mathematics?

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