Argomenti del programma: Questo corso e' un'introduzione a nozioni e metodi della logica matematica. In particolare, il corso trattera' i seguenti argomenti: 1) Logica proposizionale Formule proposizonali e tavole di verita' Sistemi di dimostrazione Correttezza e completezza Compattezza 2) Logica del primo ordine e teoria dei modelli Strutture, formule, e modelli Definibilita' ed equivalenza elementare Sistemi di dimostrazione Correttezza e…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Apri nel catalogo: Matematica, 3º anno, tutte le materie e i canali ›

Testi d'esame di Logica Matematica del prof. Martino Lupini, canale unico, corso di laurea in Matematica (Laurea triennale (L-35)), Alma Mater Studiorum - Università di Bologna, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Enderton – A mathematical introduction to logic; Marker – Model theory; Enderton – Elements of set theory; Kunen – Kenneth Set theory; Enderton – Computability theory.

Altre materie del prof. Lupini

Principi della Matematica · Matematica · esame facoltativo · 6 CFU

Vedi anche: Prof. Martino Lupini · Logica Matematica a Bologna (tutti i canali)