Corso di Laurea in Informatica
Linguaggi dichiarativi
|
-
Docente: Prof. Gianfranco Rossi (e-mail: gianfranco.rossi at
unipr.it)
-
Collocazione: II anno, II semestre
-
Finalità.
Il corso intende fornire le nozioni di base sulla programmazione dichiarativa,
illustrandone alcuni degli aspetti fondamentali tramite la presentazione
e l'applicazione pratica del linguaggio di programmazione logica Prolog.
-
Prerequisiti.
Le nozioni e le tecniche di base della programmazione convenzionale
(ad esempio in C). Le nozioni di base riguardanti strutture dati fondamentali
come liste, alberi e grafi. Le nozioni di base su funzioni e insiemi e
su connettivi ed espressioni logiche. Familiarietà nell'uso del
calcolatore.
-
Crediti:
-
20 ore di lezioni frontali ed esercitazioni di laboratorio: 2 crediti
-
25 ore di lavoro autonomo assistito per la preparazione di un progetto:
1 credito
-
Orario lezioni ed esercitazioni a.a. 2003-2004
-
SWI: l'ambiente di programmazione
Prolog utilizzato per il corso
-
Anni accademici passati: ---
Modalità
d'esame
L'esame consiste nella preparazione e discussione di un progetto
o di un lavoro di approfondimento assegnato nella parte finale del
corso e sviluppato in modo autonomo dallo studente, con l'assistenza del
docente, seguito da un esame orale su tutto il programma del corso.
La discussione del progetto e la prova orale vengono effettuate di norma
contemporaneante.
Periodi
d'esame
-
I SESSIONE
2 appelli a Giugno-Luglio 2004
-
II SESSIONE
2 appelli a Settembre-Ottobre
2004
-
III SESSIONE
1 appello a Febbraio 2005
Gli esami si svolgono di norma presso il Dipartimento di Matematica.
Mailing
list
Il corso ha una propria mailing
list. La lista serve a docenti e studenti per lo scambio di informazioni
relative al corso. Avvisi, dubbi, domande e risposte... va tutto bene purché
attinente al corso o, più in generale, alla programmazione. Gli
archivi
della mailing list sono liberamente consultabili. Per inviare un messaggio
alla lista basta scrivere all'indirizzo linguaggi-dichiarativi@studenti.cs.unipr.it.