| IN410 - INFORMATICA 2
(obiettivi)
IL CORSO DI INFORMATICA 2 (IN2 - MODELLI DI CALCOLO) È DEDICATO ALL'APPROFONDIMENTO DEGLI ASPETTI MATEMATICI DEL CONCETTO DI COMPUTAZIONE, E ALLO STUDIO DELLE RELAZIONI TRA DIVERSI MODELLI DI CALCOLO, E TRA DIVERSI STILI DI PROGRAMMAZIONE. IN PARTICOLARE VERRÀ PRESENTATA UNA INTRODUZIONE AI LINGUAGGI DI PROGRAMMAZIONE OBJECT ORIENTED.
|
|
Codice
|
20402089 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
7
|
|
Settore scientifico disciplinare
|
INF/01
|
|
Ore Aula
|
60
|
|
Attività formativa
|
Attività formative affini ed integrative
|
Canale Unico
|
Docente
|
PEDICINI MARCO
(programma)
COMPLESSITÀ, COMPUTABILITÀ, RAPPRESENTABILITÀ: PROBLEMI DI DECISIONE, AUTOMI FINITI E ALGORITMI. TURING-CALCOLABILITÀ. COMPLESSITÀ SPAZIALE E TEMPORALE DEGLI ALGORITMI. MACCHINE RAM. 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 BŒHM. 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.
(testi)
[1] DEHORNOY, P., COMPLEXITE' ET DECIDABILITE'. SPRINGER-VERLAG, (1993).
[2] KRIVINE, J.-L., LAMBDA CALCULUS: TYPES AND MODELS. MASSON,
[3] SETHI, R., PROGRAMMING LANGUAGES: CONCEPTS AND CONSTRUCTS. ADDISON-WESLEY (ED. ITALIANA ZANICHELLI),
TESTI DI APPROFONDIMENTO:
[4] AHO, HOPCROFT, ULLMAN, DESIGN AND ANALYSIS OF COMPUTER PROGRAMMING.
[5] AUSIELLO, G., GAMBOSI, G., D'AMORE F., LINGUAGGI, MODELLI, COMPLESSITA', FRANCO ANGELI.
[6] A. BERNASCONI, B. CODENOTTI, INTRODUZIONE ALLA COMPLESSITA COMPUTAZIONALE, SPRINGER-VERLAG.
[7] GABBRIELLI, MARTINI, LINGUAGGI DI PROGRAMMAZIONE, MCGRAW-HILL.
[8] HERMES, H., ENUMERABILITY, DECIDABILITY, COMPUTABILITY. DIE GRUNDLEHREN DER MATHEMATICHENWISSENSHAFTEN IN EINZELDARSTELLUNGEN, N. 127, SPRINGER-VERLAG, ().
[9] DARNELL, P. A. AND MARGOLIS, P. E., C A SOFTWARE ENGINEREEING APPROACH. SPRINGER-VERLAG, (1996).
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
Docente
|
LAI ANNA CHIARA
(programma)
COMPLESSITÀ, COMPUTABILITÀ, RAPPRESENTABILITÀ: PROBLEMI DI DECISIONE, AUTOMI FINITI E ALGORITMI. TURING-CALCOLABILITÀ. COMPLESSITÀ SPAZIALE E TEMPORALE DEGLI ALGORITMI. MACCHINE RAM. 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 BŒHM. 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.
(testi)
[1] DEHORNOY, P., COMPLEXITE' ET DECIDABILITE'. SPRINGER-VERLAG, (1993).
[2] KRIVINE, J.-L., LAMBDA CALCULUS: TYPES AND MODELS. MASSON,
[3] SETHI, R., PROGRAMMING LANGUAGES: CONCEPTS AND CONSTRUCTS. ADDISON-WESLEY (ED. ITALIANA ZANICHELLI),
TESTI DI APPROFONDIMENTO:
[4] AHO, HOPCROFT, ULLMAN, DESIGN AND ANALYSIS OF COMPUTER PROGRAMMING.
[5] AUSIELLO, G., GAMBOSI, G., D'AMORE F., LINGUAGGI, MODELLI, COMPLESSITA', FRANCO ANGELI.
[6] A. BERNASCONI, B. CODENOTTI, INTRODUZIONE ALLA COMPLESSITA COMPUTAZIONALE, SPRINGER-VERLAG.
[7] GABBRIELLI, MARTINI, LINGUAGGI DI PROGRAMMAZIONE, MCGRAW-HILL.
[8] HERMES, H., ENUMERABILITY, DECIDABILITY, COMPUTABILITY. DIE GRUNDLEHREN DER MATHEMATICHENWISSENSHAFTEN IN EINZELDARSTELLUNGEN, N. 127, SPRINGER-VERLAG, ().
[9] DARNELL, P. A. AND MARGOLIS, P. E., C A SOFTWARE ENGINEREEING APPROACH. SPRINGER-VERLAG, (1996).
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
Università Roma Tre