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öö . oktoobril loengu ajal.

Teine katse

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


Kolmas katse: