1. Predikaatloogika
Kirjalik kontrolltöö 19. oktoobril loengu ajal.
Ülesanded
Tõestusülesannete lahendused

Teine katse (aeg, tingimused)
Kohustuslik harjutustöö 2. katse osavõtjatele
Teisendusülesannete kogu 2. katse osavõtjatele
Ülesanded

Kolmas katse (reedel 19. novembril kell 14.15 aud. 405, saab teha ka teisipäeval 4. jaanuaril kell 14.15)
Tingimused:
1. Teisest katsest osavõtu tingimused.
2. Kui võeti osa teisest katsest, siis esitada enda poolt mitte lahendatud variandi lahendused kirjalikult.
    Kui ei võetud osa teisest katsest, siis esitada mõlema variandi lahendused kirjalikult.
Kirjalikud lahendused tuleb esitada teisipäeval  16.XI  loengu alguses.
Muud tingimused peavad olema täidetud samaks ajaks.

2. Tuletamine lausearvutuses ja predikaatarvutuses
Arvutiklassis 12. nädalal  praktikumide ajal (17.-19.novembril).

Teine katse:  reedel 26.novembril kell 12.15 arvutiklassis 004.
Osavõtu tingimused on kirjas, mis saadetud WebCT foorumile.

Kolmas katse: T 4. jaanuaril kell 10.15

3. Turingi masin ja lõpptest
Arvutiklassis 16. nädalal praktikumide ajal.
Esimesena lahendatakse test.

Teine katse
K 22.detsembril. Test  kell 12.15. Turingi masin kell  13.00.

Kolmas katse:
T 4. jaanuaril. Test  kell 12.15. Turingi masin kell  13.00.