Sillabo dell'insegnamento

• C - Programmazione
* SCP - Sviluppo e Correttezza dei Programmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Invarianti e correttezza dei programmi iterativi; problema della terminazione. Dimostrazioni per induzione e concetto di invariante.
* POO - Programmazione Orientata agli Oggetti
+ AL-FDA - Fundamental Data Structures and Algorithms
Elementi di programmazione object-oriented in Java: classi e oggetti; campi, costruttori e metodi.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Tecniche di memoization e programmazione dinamica.
PP - Paradigmi di Programmazione
+ AL-FDA - Fundamental Data Structures and Algorithms
Paradigma funzionale. Concetto di stato e paradigma imperativo/sequenziale. Rivisitazione delle strutture di dati elementari attraverso il paradigma imperativo.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati dal punto di vista dell'utilizzatore e dal punto di vista dell'implementatore. Pile e code.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Introduzione all'astrazione sui dati attraverso semplici dati strutturati. Specifica astratta di una struttura dati e diversità delle scelte realizzative. Dati di dimensione variabile.
* R - Ricorsione
+ AL-FDA - Fundamental Data Structures and Algorithms
Ricorsione generale e ricorsione di coda (tail recursion). Approccio iterativo come ricorsione di coda.
* P - Procedure
+ AL-FDA - Fundamental Data Structures and Algorithms
Procedure funzionali e procedure imperative.
* CB - Costrutti di Base
+ AL-FDA - Fundamental Data Structures and Algorithms
Costrutti dei programmi iterativi.
* R - Ricorsione
+ AL-FDA - Fundamental Data Structures and Algorithms
Definizioni ricorsive.
* SS - Sintassi e Semantica
+ AL-FDA - Fundamental Data Structures and Algorithms
Sintassi di Scheme. Modello di valutazione per sostituzione e riduzione.
* SS - Sintassi e Semantica
+ AL-FDA - Fundamental Data Structures and Algorithms
Principali comandi e costrutti del linguaggio Java.