Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Strutture dati parametriche, polimorfismo e funzioni higher-order.
V - Varie
Definizioni locali e regole di scoping.
* SDTD - Strutture Dati e Tipi di Dati astratti
strutture, liste e alberi. Tipi di dato astratti.
* R - Ricorsione
Principio di induzione e funzioni ricorsive
* P - Procedure
Relazioni, predicati, espressioni condizionali
* P - Procedure
Funzioni composte e sviluppo top-down
* CB - Costrutti di Base
Numeri, operazioni, espressioni. Definizione di variabili e funzioni
* SS - Sintassi e Semantica
Sintassi e semantica di un linguaggio di programmazione.
* P - Procedure
Programmazione funzionale in Scheme
V - Varie
Induzione strutturale e induzione generativa
* SDTD - Strutture Dati e Tipi di Dati astratti
Grafi e algoritmi di backtracking
V - Varie
Funzioni con accumulatore. Costrutti imperativi. Variabili di stato e funzioni che modificano la memoria.