Logica Matematica – Firenze

Università degli Studi di Firenze · Lettere e Filosofia · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Antongiulio Fornasiero Canale unico

Corso di laurea: Logica, Filosofia delle Scienze e Metodi della Ricerca · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

Firenze · Lettere e Filosofia · 6 CFU · apri nel catalogo · Logica, Filosofia delle Scienze e Metodi della Ricerca · 1º anno · 2º semestre ›

Il docente indica 1 testo

Mundici – Naive set theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Logica booleana. Semantica herbrandiana e tarskiana. Deduzioni valide e non valide. Teorema di completezza di Goedel. Cenni di teoria dei numeri cardinali. Teorema di Loewenheim, compattezza della logica dei predicati con eguaglianza. Test di Los-Vaught. Esempi di teorie complete: DLO, TFDAG (cenni) Primo teorema di incompletezza di Goedel. Numeri cardinali (cenni)

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Prof. Antongiulio Fornasiero Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo · 9 CFU

Firenze · Matematica e Informatica 'Ulisse Dini' · 9 CFU · apri nel catalogo · Matematica · 1º anno · 2º semestre ›

Il docente indica 1 testo

Mundici – Naive set theory Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

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 – Siena · Logica Matematica – Bologna · Logica Matematica – Statale di Milano