Esimesest katsest osavõtuks tingimusi ei ole. Teisest ja kolmandast katsest osavõtuks võidakse esitada täiendavaid nõudeid (peavad olema esitatud kõik kodused tööd ja kontrolltöö eelmise katse mingite variantide lahendused).

1. Predikaatloogika
Kirjalik kontrolltöö 19. oktoobril loengu ajal.

Teine katse (reedel 4.nov. kell 14.15 aud 405)

Kolmas katse


2. Tuletamine lausearvutuses ja predikaatarvutuses
Arvutiklassis 12. nädalal  praktikumide ajal

Teine katse:

Kolmas katse:

3. Turingi masin ja lõpptest
Arvutiklassis 15.-16. nädalal praktikumide ajal.
Esimesena lahendatakse test. Vastata tuleb 30 minuti jooksul 20 küsimusele.


Teine katse
16. nädala praktikumide ajad kolmapäeval ja reedel

Kolmas katse: