2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi di Programmazione (II modulo)
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Sistemi |
|---|---|---|---|
| CFU | 6 | Università | TRENTO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
- C - Programmazione
-
*
SCP - Sviluppo e Correttezza dei Programmi
PL-CSA - Compiler Semantic Analysis
Specifica e verifica di programmi; inferenza di tipo. -
*
R - Ricorsione
PL-APC - Advanced Programming Constructs
Funzioni di ordine superiore -
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione alla programmazione funzionale e motivazioni -
*
R - Ricorsione
PL-APC - Advanced Programming Constructs
Tipi di base; funzioni; ricorsione -
*
CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Strategie di valutazione; pattern matching -
*
CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Polimorfismo
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
