Libri UniversitariApri il catalogo

Mundici – Naive set theory

Libro adottato a Firenze, a.a. 2026/2027 · 2 canali

«Mundici – Naive set theory» è adottato per Logica Matematica dal prof. Antongiulio Fornasiero (Logica, Filosofia delle Scienze e Metodi della Ricerca, Matematica – Firenze).

Mundici – Naive set theoryCerca su Amazon ›

Come lo indica il docente: D.Mundici, Logica: Metodo Breve, Springer 2011 Altri testi consigliati: P. Halmos, "Naive set theory", 1960 Gli appunti del prof. A. Berarducci per la parte sul teorema di incompletezza di Goedel Boolos et al. "Computability and logic" P.Smith "An introduction to Gödel's theorems" (CUP 2013) e le note di accompagnamento "Gödel without too many tears"

Chi lo adotta

Programma e testi di ogni canale

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

Mundici – Naive set theoryquesto libroCerca 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.

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

Mundici – Naive set theoryquesto libroCerca 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

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.