Sillabo dell'insegnamento

• C - Programmazione
* P - Procedure
Algoritmi basati sul calcolo di espressioni numeriche e non numeriche. Procedure come astrazione di espressioni. Costrutti di scelta e valori di verit?. Definizioni ricorsive. Modello di valutazione per sostituzione e riduzione.
* SCP - Sviluppo e Correttezza dei Programmi
Modello funzionale come semantica di un programma imperativo.
* POO - Programmazione Orientata agli Oggetti
Elementi di programmazione object-oriented in Java: classi e oggetti; campi, costruttori e metodi.
* PSA - Problem Solving e Algoritmi
Tecniche di memoization e programmazione dinamica. Principali comandi e costrutti del linguaggio Java. Programmi iterativi. Invarianti e correttezza dei programmi iterativi; problema della terminazione.
PP - Paradigmi di Programmazione
Concetto di stato e paradigma imperativo/sequenziale. Vettori e operazioni relative. Rivisitazione delle strutture di dati elementari attraverso il paradigma imperativo. Matrici. Costi computazionali di un algoritmo.
* CB - Costrutti di Base
Strutture dati dal punto di vista dell'utilizzatore e dal punto di vista dell'implementatore. Pile e code. Alberi e alberi di valutazione delle espressioni. Esempi notevoli.
* SDTD - Strutture Dati e Tipi di Dati astratti
Introduzione all'astrazione sui dati attraverso semplici dati strutturati. Specifica astratta di una struttura dati e diversit? delle scelte realizzative. Dati di dimensione variabile: liste.
* R - Ricorsione
Ricorsione generale e ricorsione di coda (tail recursion). Approccio iterativo come ricorsione di coda. Dimostrazioni per induzione e concetto di invariante. Costrutto let.
* SDTD - Strutture Dati e Tipi di Dati astratti
Cenni alle grammatiche libere dal contesto: sintassi delle espressioni e del linguaggio Scheme.
* P - Procedure
Alberi di derivazione e ambiguit? sintattica. Esempi notevoli.