Informatica Teorica – prof. Luca Ferrari

Informatica · Università degli Studi di Firenze · 3º anno · 2º semestre · 6 CFU · canale unico

Libri del canale

Informatica Teorica 6 CFU

LFProf. Luca Ferrari Canale unico

Il docente indica 1 testo

Thomas – Languages and MachinesVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

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.

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

Testi d'esame di Informatica Teorica del prof. Luca Ferrari, canale unico, corso di laurea in Informatica (Laurea triennale (L-31)), Università degli Studi di Firenze, 3º anno · 2º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Thomas – Languages and Machines.

Altre materie del prof. Ferrari

Strutture Discrete · Matematica · 3º anno · 1º semestre · Generale · 9 CFU

Vedi anche: Prof. Luca Ferrari · Informatica Teorica a Firenze (tutti i canali)