Programmazione Funzionale
Programma del corso
Elementi di programmazione funzionale in Objective Caml
Espressioni e tipi semplici
Variabili e ambienti
Definizione di funzioni
Ricorsione
Tuple, Liste
Polimorfismo
Patterns
Ambienti locali
Strategie di valutazione
Funzioni di ordine superiore
Definizione di nuovi tipi
Alberi binari
Alberi n-ari
Rappresentazione di grafi mediante lista degli archi
La tecnica del backtracking
Moduli e compilazione separata
Generatori di parser: ocamllex e ocamlyacc
Studio di un'applicazione
Introduzione alla logica proposizionale:
sintassi e semantica, con relative implementazioni.
