IN2 - Informatica 2, modelli di calcolo
Prof. Marco Pedicini
DM, Stanza 202 tel. 06 5488 8231
e-mail: pedicini@mat.uniroma3.it
 
Complessità, computabilità, rappresentabilità: problemi di decisione, automi finiti e algoritmi. Turing-calcolabilità. Complessità spaziale e temporale degli algoritmi. Funzioni di complessità. Funzioni ricorsive. Il problema dell'arresto per le macchine di Turing. Programmazione funzionale: Lambda calcolo. Teorema di Church-Rosser. Strategie di normalizzazione. Risolubilità. Teorema di Bohm. Teorema di lambda-definibilità per le funzioni ricorsive. Modelli beta-funzionali del lambda-calcolo. Programmazione object-oriented: dichiarazioni di classi funzionali. Ereditarietà tra classi. Dichiarazione di classi virtuali. Definizione di metodi privati. Late-binding di metodi.
 
I Semestre
Crediti: 7,5 c
Prerequisiti: IN1
  
Insegnamento valido per la PFA
Programma esteso:   [Versioni disponibili:  PDF]