Matemaatiline loogika ja algoritmiteooria
kevadsemestril 2012
Eksamid
Eksamid
3.06.2013 kell 9-12 Liivi 2-122
14.06.2013
kell 9-12 Liivi 2-404
26.06.2013 kell 9-12 Liivi 2-405
Eksam on kirjalik ja kestab 3 tundi. Esimene osa küsimustest sisaldab definitsioone, teoreeme, reegleid, nende vahetuid rakendusi millegi otsustamiseks. Selle osa vastamiseks ei tohi materjale kasutada. Peale esimese osa lõpetamist võib igaüks kasutada oma materjale (nii konspekti kui trükitud allikaid).
Eksamitöö annab 60 protsenti tulemusest, 30 protsenti
(10+20) annavad kontrolltööd, 10 protsenti jooksvad testid.
Lisapunkte võib saada loengutel antavatest ülesannetest.
Konsultatsioonid
13.06 kell 16.00 aud 403
25.06 kell
15.00 aud 403