Libri UniversitariApri il catalogo

Prof. Antongiulio Fornasiero

Università degli Studi di Firenze · Lettere e Filosofia · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Antongiulio Fornasiero

Materie del prof. Antongiulio Fornasiero

Logica Matematica 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 theoryCerca 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 e Calcolabilita' Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · 3º anno · 2º semestre · Applicativo · 6 CFU

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

Mundici – 'Dalla macchina di Turing a P/NP'Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Altri testi consigliati

Garey – 'Computers and intractability'Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cover – Per chi volesse approfondire le Zero-Knowledge ProofsCerca 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
  • Le dispense P. Crescenzi: le trovate suo sito. E' un libro per informatici, per cui presenta molto più materiale di quanto vediamo al corso.

Argomenti del programma: Macchine di Turing. La macchina universale. Cenni di calcolabilità. Nozioni logiche fondamentali di sintassi e semantica delle formule CNF della logica di Boole. La Classe NP, i problemi NP completi.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica Matematica 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 theoryCerca 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.

Domande frequenti

Quali libri consiglia il prof. Antongiulio Fornasiero per Logica Matematica (Logica, Filosofia delle Scienze e Metodi della Ricerca, canale unico)?

Mundici – Naive set theory

Quali libri consiglia il prof. Antongiulio Fornasiero per Logica e Calcolabilita'?

Mundici – 'Dalla macchina di Turing a P/NP'; Garey – 'Computers and intractability'; Cover – Per chi volesse approfondire le Zero-Knowledge Proofs

Quali libri consiglia il prof. Antongiulio Fornasiero per Logica Matematica (Matematica, canale unico)?

Mundici – Naive set theory