Modalità d'esame:
per l'esame lo studente svolge un progetto e lo presenta in forma sia
scritta che orale. Lo studente può scegliere tra un progetto pratico
e un progetto teorico. Una lista di progetti tra cui scegliere sarà
presentata a lezione. Un progetto pratico consiste nello studiare ed
usare un sistema di ragionamento automatico (e.g., dimostratore di
teoremi) allo stato dell'arte. Un progetto teorico
consiste nello studiare un soggetto teorico non trattato a lezione.
In entrambi i casi il progetto applica ed estende gli argomenti trattati
nel corso. Lo studente che sceglie il progetto pratico dovrà
scaricare il sistema dal suo sito web, compilarlo,
imparare ad usarlo, ovvero capire come presentare un problema in ingresso
e come interpretare il risultato in uscita, e valutarlo empiricamente.
Per far questo studierà il manuale del sistema ed articoli apparsi
in letteratura sul sistema stesso.
Lo studente che sceglie il progetto teorico dovrà studiare una
collezione di articoli sull'argomento.
In entrambi i casi lo studente dovrà preparare una breve relazione
scritta e dare una presentazione orale del suo soggetto.
Il voto d'esame sarà determinato al 50% dalla relazione scritta
e al 50% dalla presentazione orale.