mtic!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> Informatica Teorica - CdL Ingegneria Informatica

 

Università degli Studi di Firenze

 

Corso di Laurea in Ingegneria Informatica

Informatica Teorica.

Laurea Magistrale


Titolare: Prof. Alessandro Fantechi
 


Programma del corso


Testi di riferimento

[1] G. Ausiello, F. D'Amore, G. Gambosi: Linguaggi Modelli e Complessità, Franco Angeli Editore, 2003.
[2] J. Hopcroft, R. Motawani, J.D. Ullman: Automi Linguaggi e Calcolabilità
, Pearson, Addison Wesley, 2009.

[3] H.R. Lewis, C.H. Papadimitriou: Elements of the theory of Computation, Mc Prentice-Hall, 1998.

 

 


Modalità d'esame

L'esame sarà svolto come prova orale. Lo studente, oltre a prepararsi sul programma svolto, dovrà presentare come discussione orale un approfondimento su un argomento concordato con il docente. L'approfondimento sarà condotto autonomamente dallo studente sui testi consigliati o su altri testi disponibili. In particolare, lo studente potrà scegliere, e indicare all'atto dell'iscrizione sul sito di ateneo, o mediante mail al docente, uno degli argomenti elencati in questo documento . Il docente potrà chiedere di modificare la scelta in caso le scelte non siano uniformemente distribuite. Altri documenti utili:

La macchina RAM

Materiale Didattico

Ogni modulo corrisponde ad una lezione tenuta nell'a.a. 14-15
Per i moduli dell'a.a. 11-12 e dell'a.a.12-13 vedere qui.

Modulo 1

Modulo 2

Modulo 3

Modulo 4

Modulo 5

Modulo 6

Modulo 7

Modulo 8

Modulo9

Modulo10

Modulo11

Modulo12

Modulo13

articolo Wegner

Modulo14

Modulo15

Modulo16

Modulo17

Modulo18

Modulo19

Modulo20

Modulo21

 

 


 

Ricevimento

 
Ricevimento studenti. 

 
Prof. Fantechi: Lun. 17:00--18:00, Mer. 11.30-12.30

 
 
 

Calendario esami

Vedere sito della Scuola oppure chiedere al docente
Alessandro Fantechi