Programma preliminare del corso di Logica e Sistemi Informatici
a.a. 2009-2010

Legenda:
le colonne 2-6 indicano con una X gli argomenti/lezioni che interessano gli studenti del relativo ordinamento o corso, con una C le lezioni consigliate (per il ripasso di nozioni che costituiscono prerequisiti o come training aggiuntivo).

Colonna D.M.270: corso integrale dell'ordinamento 270/04.
Colonna D.M.509: corso dell'ordinamento 509/99.
Colonna integrativo: corso integrativo dell'ordinamento 509/99 per gli studenti che hanno sostenuto Intelligenza Artificiale I nella laurea triennale.
Colonna IA1/a: lezioni utili per chi deve ancora sostenere l'esame di Intelligenza Artificiale I nella laurea triennale secondo il programma degli anni passati.
Colonna IA1/b: lezioni utili per chi deve ancora sostenere l'esame di Intelligenza Artificiale I nella laurea triennale e vuole sostituire una parte del programma degli anni passati con un approfondimento di argomenti di logica.

		D.M.270	D.M.509	integrativo	IA1/a	IA1/b
Introduzione al corso	lun 5 ott 09	Organizzazione del corso: consigliato per tutti
Logica proposizionale	mer 7 ott 09	X			X	X
	lun 12 ott 09	X			X	X
	lun 19 ott 09	X			X	X
Calcolo di deduzione naturale	mer 21 ott 09	X				X
	lun 26 ott 09	X				X
	mer 28 ott 09	X				X
Logica del primo ordine	lun 2 nov 09	X			X	X
	mer 4 nov 09	X			X	X
	lun 9 nov 09	X			X	X
	mer 11 nov 09	X			X	X
	mar 1 dic 09	X			X	X
	gio 3 dic 09	X			X	X
Calcolo di deduzione naturale	gio 10 dic 09	X				X
Calcolo di deduzione naturale	mar 15 dic 09	X				X
Il metodo di risoluzione	gio 17 dic 09	X	C	C	X	X
	gio 7 gen 10	X	C	C	X	X
	mar 12 gen 10	X	C	C	X	X
	gio 14 gen 10	X	C	C	X	X
	mar 19 gen 10	X	C	C	X	X
Il linguaggio Prolog	gio 21 gen 10	X	X	X
	mar 26 gen 10	X	X	X
	gio 28 gen 10	X	X	X
Prolog: esercizi	mer 3 mar 10	X	X	C
Il calcolo delle Situazioni	mer 10 mar 10	X	C	C	X	X
Il linguaggio Golog	mer 10 mar 10	X	X	X
Implementazione del Golog	mer 17 mar 10	X	X	X
Esercizi Calcolo delle Situazioni	mer 17 mar 10	X	X	X	X	X
Tableaux proposizionali	mer 24 mar 10	X	X	X	X	X
Esercizi Golog	mer 24 mar 10	X	X	X
Logica temporale e verifica di programmi	mer 7 apr 10	X	X	X
Logica temporale e verifica di programmi	mer 14 apr 10	X	X	X
Esercizi Golog	mer 5 mag 10	X	X	X
Logica temporale e verifica di programmi	mer 5 mag 10	X	X	X
	mer 12 mag 10	X	X	X
	mer 19 mag 10	X	X	X
Pianificazione in LTL	mer 26 mag 10	X	X
Esercizi	mer 26 mag 10	X	X	X
Esercizi	mer 2 giu 10	X	X	X

Programma preliminare del corso di Logica e Sistemi Informatici a.a. 2009-2010

Programma preliminare del corso di Logica e Sistemi Informatici
a.a. 2009-2010