CONOSCENZA DEL PARADIGMA DI PROGRAMMAZIONE FUNZIONALE, DEI CONCETTI
SOTTOSTANTI E DELLE TECNICHE DI BASE UTILIZZATE NEI MODERNI LINGUAGGI
FUNZIONALI; ACQUISIZIONE DI CAPACITA` OPERATIVA NEL LINGUAGGIO DI
PROGRAMMAZIONE OBJECTIVE CAML.
SOTTOSTANTI E DELLE TECNICHE DI BASE UTILIZZATE NEI MODERNI LINGUAGGI
FUNZIONALI; ACQUISIZIONE DI CAPACITA` OPERATIVA NEL LINGUAGGIO DI
PROGRAMMAZIONE OBJECTIVE CAML.
scheda docente materiale didattico
FUZIONALE. INTRODUZIONE AL LINGUAGGIO OBJECTIVE CAML. PROGETTAZIONE E
IMPLEMENTAZIONE DI PROGRAMMI RICORSIVI. DEFINIZIONE E USO DI FUNZIONI
DI ORDINE SUPERIORE. STRUTTURE DI DATI: LISTE, ALBERI, GRAFI. IMPLEMENTAZIONE DI ALGORITMI DI BACKTRACKING.
IL SISTEMA DEI MODULI DI OBJECTIVE CAML (STRUTTURE E SEGNATURE). GENERATORI DI
PARSER. STUDIO DI UN'APPLICAZIONE: LA LOGICA PROPOSIZIONALE.
Vedi il sito del corso: http://cialdea.dia.uniroma3.it/teaching/pf/
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(in alternativa:
M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (dispense))
M. Cialdea Mayer, Introduzione alla logica proposizionale (dispense)
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
Programma
CARATTERISTICHE DEL PARADIGMA DI PROGRAMMAZIONEFUZIONALE. INTRODUZIONE AL LINGUAGGIO OBJECTIVE CAML. PROGETTAZIONE E
IMPLEMENTAZIONE DI PROGRAMMI RICORSIVI. DEFINIZIONE E USO DI FUNZIONI
DI ORDINE SUPERIORE. STRUTTURE DI DATI: LISTE, ALBERI, GRAFI. IMPLEMENTAZIONE DI ALGORITMI DI BACKTRACKING.
IL SISTEMA DEI MODULI DI OBJECTIVE CAML (STRUTTURE E SEGNATURE). GENERATORI DI
PARSER. STUDIO DI UN'APPLICAZIONE: LA LOGICA PROPOSIZIONALE.
Testi Adottati
Vedi il sito del corso: http://cialdea.dia.uniroma3.it/teaching/pf/
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(in alternativa:
M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (dispense))
M. Cialdea Mayer, Introduzione alla logica proposizionale (dispense)
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
Modalità Erogazione
Lezioni frontali ed esercitazioni in aulaModalità Valutazione
Il corso prevede un esame scritto, con la possibilita' di sostituirlo con prove in itinere riservate agli studenti frequentanti.