Logica Matematica – Siena

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

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 ›

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.

Logica Matematica negli altri atenei

Logica Matematica – Firenze · Logica Matematica – Bologna · Logica Matematica – Statale di Milano