Libri UniversitariApri il catalogo

Informatica Teorica – Firenze

Università degli Studi di Firenze · Ingegneria dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Andrew David Bagdanov Canale unico

Corso di laurea: Ingegneria Informatica · Laurea triennale (L-8) · esame facoltativo · 6 CFU

Firenze · Ingegneria dell'Informazione · 6 CFU · apri nel catalogo · Ingegneria Informatica · 3º anno · 2º semestre ›

Hopcroft – Introduction to Automata TheoryCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Sipser – Introduction to the Theory of ComputationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Martin – Introduction to Languages and the Theory of…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
  • Le lezioni (e le presentazioni corrispondenti) sono complete e piuttosto auto-contenute. Però la materia presentata a lezioni è stata presa da diversi fonti:

Argomenti del programma: Il corso è organizzato in un assortimento argomenti tecnici e teorici che, presi insiemi, forniscono una formazione sulla Teoria del Calcolo. Vede il programma del corso per dettagli.

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

Prof. Luca Ferrari 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 ›

Thomas – Languages and MachinesCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Thomas – Languages and MachinesCerca 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.

Informatica Teorica negli altri atenei

Informatica Teorica – Bologna · Informatica Teorica – Statale di Milano