Sissejuhatus matemaatilisse loogikasse (sügis 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 ja 134 klassides. 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 laupä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. Sooritatuks loetakse töö, mille hinne on vähemalt 5 punkti. Iga kontrolltöö sooritamiseks on 3 katset.Teine katse toimub kokkulepitud ajal semestri jooksul, kolmas katse kas semestri viimastel päevadel või kokkulepitud päeval sessiooni ajal. Teisel ja kolmandal katsel on töö maht suurem esimesest katsest.  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 õppeaastal.

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