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 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
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. Predikaaatloogika kontrolltöö on kirjalik, aksiomaatiliste teooriate ja Turingi masinate tööd toimuvad arvutil. Semestri lõpul on arvutil koondtest teoreetilise materjali kohta. Kontrolltöödel ja koondtestil ei lubata materjale kasutada.
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.