Matemaatilise loogika elemendid (kevad 2001)
Töö korraldus, hindamine

Praktikume on nii auditooriumis kui arvutiklassis vastavalt eesmärgile ja ülesannete lahendamise tarkvara olemasolule.

Enamuse loengute järel antakse  iseseisvalt arvutil lahendamiseks APSTESTi test, mida saab peale loengu toimumist lahendada Liivi 2 ATI klassis ja Vanemuise 46-106. Lahendamisel võib kasutada kirjandust. Testi tuleb lahendada seni, kuni saadakse vähemalt 75% punktidest. Testid on koostatud nii, et küsimused valitakse suuremast pangast juhuslikult ja korduvad ainult osaliselt. Lahendamise tulemused salvestuvad andmebaasi. Iga test tuleb lahendada hiljemalt kolmapäeval enne järgmist loengut.
Testide tulemuste (protsentide) keskmine annab koondhindesse kuni 10 punkti. Hilinemisega saabunud tulemused korrutatakse 0.5-ga. Hilinemisega tehtud lahendusest tuleb teatada e-kirjaga. Pärast vastava peatüki kontrolltöö toimumist lahendamise tulemusi enam vastu ei võeta.

Iga peatüki lõpul toimub kontrolltöö praktikumi materjali kohta. Semestri lõpul on arvutil koondtest teoreetilise materjali kohta.

Aine koondhindesse annab iga kontrolltöö ja lõpptest vastavalt tulemusele kuni 10 punkti. Iga kontrolltöö sooritamiseks on 3 katset. Sooritatuks loetakse töö, mille hinne on vähemalt 5 punkti. Positiivsele hindele tehtud tööd uuesti teha ei saa.

Sessiooni ajal toimub 3-tunnine kirjalik eksam, mis annab koondhindesse vastavalt tulemusele kuni 50 punkti.
Eksamile lubatakse kõik kursusest osavõtjad. Selleks, et lõpphinne oleks kõrgem kui E, peavad kõik kontrolltööd ja koondtest olema tehtud vähemalt 50 protsendile.
Korduseksamite eel antakse ka võimalus negatiivse hindega  kontrolltööde uuesti sooritamiseks. Tehtud kontrolltööde ja testide punktid kehtivad kuni aine järgmise toimumiseni järgmisel kevadsemestril.

Aine hinde määrab eksami (50 %.), kontrolltööde (3x10%)  ja testide (kodused 10% + koondtest 10%) punktide summa.