Prof. Luca Ferrari

Università degli Studi di Firenze · Matematica e Informatica 'Ulisse Dini' · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Luca Ferrari

Thomas – Languages and Machines – Informatica Teorica (Informatica, 3º anno · 2º semestre · 6 CFU)
Aigner – Combinatorial Theory – Strutture Discrete (Matematica, 3º anno · 1º semestre · Generale · 9 CFU)

Materie del prof. Luca Ferrari

Informatica Teorica Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 3º anno · 2º semestre · 6 CFU

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

Il docente indica 1 testo

Thomas – Languages and Machines Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Libri consigliati nell'a.a. 2025/2026

Thomas – Languages and Machines Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Calcolabilità: enumerabilità, computabilità, decidibilità; funzioni e relazioni ricorsive primitive; funzione di Ackermann, funzioni mu-ricorsive, tesi di Church; macchine di Turing; problema dell'arresto, macchina universale; riducibilità tra linguaggi, teorema di Rice.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Strutture Discrete Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · 3º anno · 1º semestre · Generale · 9 CFU

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

Il docente indica 1 testo

Aigner – Combinatorial Theory Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa acquistare più volumi: vol. I, vol. IIVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: La matematica discreta nell'informatica. Introduzione alla combinatoria di funzioni, partizioni insiemistiche, partizioni intere e permutazioni. Principio di inclusione-esclusione e applicazioni. Funzioni generatrici razionali e algebriche. Insiemi parzialmente ordinati e reticoli; analisi formale dei concetti; reticoli distributivi e algebre di Boole; connessioni di Galois; CPO e teoremi di punto fisso; reticoli…

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. Luca Ferrari per Informatica Teorica?

Thomas – Languages and Machines

Quali libri consiglia il prof. Luca Ferrari per Strutture Discrete?

Aigner – Combinatorial Theory