Modalità d'esame
creato da GULMINI ELISA
—
ultima modifica
05/10/2011 16:12
Le modalità d'esame sono state variate a partire dall'A.A. 2009-10 e sono le seguenti.
L'esame del corso prevede esclusivamente una prova scritta.
La prova scritta consiste di una serie di esercizi su (alcuni) dei seguenti argomenti:
- specifiche formali e semiformali (reti di Petri, Z);
- tecniche di verifica (criteri di selezione dei test, esecuzione simbolica);
e di 2 domande aperte sulla teoria da svolgere in forma scritta.
La prova si divide in due parti:
- nella prima, di un'ora, lo studente deve rispondere alle domande di teoria. In questa parte non è possibile utilizzare materiale didattico. Il totale dei punti disponibili per questa parte è di 14, affinchè la prova sia sufficiente la valutazione deve essere di almeno 8.
- nella seconda, di duie ore, lo studente deve svolgere gli esercizi e può usare materiale didattico. Il totale dei punti disponibili per questa parte è di 18, affinchè la prova sia sufficiente la valutazione deve essere di almeno 10.
In entramber la parti non si possono usare dispositivi in grado di comunicare con l'esterno, come cellulari o computer portatili. A chi viola le regole verrà ritirato il compito.
Testo e soluzioni di alcuni compiti
- prove scritte anno accademico 2009/2010
- prove scritte anno accademico 2007/2008
22 giugno 2006- 11 febbraio 2005
- 16 marzo 2004
- 9 gennaio 2004
- 11 dicembre 2004
