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.