Added a comment
[homepage.git] / teaching / 0708 / logica.mdwn
1 [[!template id=course_header course="Logica Matematica" year="2007/2008"]]
2
3 ## Lezioni
4
5 1. [[esercitazione|esercitazione1.pdf]] *07/04/2008* (formato PDF)
6 1. [[esercitazione|esercitazione2.pdf]] *29/04/2008* (formato PDF)
7 1. [[esercitazione|esercitazione3.pdf]] *13/05/2008* (formato PDF)
8
9 ## Altri esercizi
10
11 1. [[Eserciziario|eserciziario.pdf]] a cura di Ugo Dal Lago (formato PDF)
12
13 ## Testi d'esame
14
15 1. [[Esame_19/01/2009|esame-20090119.pdf]] (formato PDF)
16 1. [[Esame_29/09/2008|esame-20080929.pdf]] (formato PDF)
17 1. [[Esame_05/09/2008|esame-20080905.pdf]] (formato PDF)
18 1. [[Esame_09/07/2008|esame-20080709.pdf]] con soluzione (formato PDF)
19 1. [[Esame_12/06/2008|esame-20080612.pdf]] con soluzione (formato PDF)
20
21 ## Modalit√† d'esame
22
23 L'esame consiste in uno scritto comprendente 4-5 esercizi sullo stile di 
24 quelli proposti a lezione da svolgere in un'ora / un'ora e mezza. Gli
25 elaborati verranno subito corretti e al termine della correzione, per 
26 coloro che sono risultati sufficienti, seguira' un orale *obbligatorio*.
27 Le domande all'orale verteranno sulle procedure utilizzate nello scritto o 
28 meglio lo studente dovra' opportunamente giustificare perche' ha fatto 
29 determinate scelte, dimostrando quindi di conoscere anche la teoria alla 
30 base degli esercizi.