Sissejuhatus matemaatilisse loogikasse (sügis 2006)
Töö korraldus, hindamine

Loengud toimuvad traditsioonilises stiilis. Loengutel antakse iseseisvaks lahendamiseks teoreetilise kallakuga ülesandeid, mille
lahendused tuleb saata elektronpostiga lektorile (ASCII, doc, ps).  Viis esimesena saabunud õiget lahendust annavad 1 punkti. Mõnede loengute järel antakse  iseseisvalt arvutil lahendamiseks WebCT test. 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 enne järgmist loengut. Testide tulemuste (protsentide) keskmine annab koondhindesse kuni 10 punkti. Hilinemisega saabunud tulemused korrutatakse 0.5-ga. Pärast vastava peatüki kontrolltöö toimumist testide lahendamise tulemusi enam vastu ei võeta.

Praktikumide ülesandeid lahendatakse enamasti arvutitel, aga mõned ülesanded lahendatakse ka tahvlipraktikumi laadis. Praktikumide juhendid tehakse kättesaadavaks WebCT kaudu, samuti käib WebCT kaudu lahenduste esitamine.

Iga peatüki lõpul toimub kontrolltöö praktikumi materjali kohta. Esimene 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 semestri või sessiooni ajal. Teisest ja kolmandast katsest osavõtuks võidakse esitada täiendavaid nõudeid (näiteks peavad olema esitatud kõik kodused tööd ja/või kontrolltöö eelmise katse mingite variantide lahendused). Teisel ja kolmandal katsel tehtud töö tulemusest lahutatakse summeerimisel vastavalt 1 või 2 punkti. 

Sessiooni ajal toimub 3-tunnine kirjalik eksam, mis annab koondhindesse vastavalt tulemusele kuni 50 punkti.
Eksamile lubatakse kõik kursusest osavõtjad.
Aine hinde määrab eksami (50 p), kontrolltööde (3x10p), testide (kodused 10p + koondtest 10p) ja loengul antud ülesannete punktide summa. Kui üliõpilasel on mõne kontrolltöö või lõpptesti (tegelik) hinne madalam kui 5 punkti, siis maksimaalne võimalik hinne on D.