Matemaatiline
loogika ja algoritmiteooria
Kevadsemester
2013
TESTID
Mõnedel loengutel antakse koduseks ülesandeks
lahendada test. Teste saab lahendada Liivi tn kohtvõrgus.
Lahendamiseks tuleb käivitada P-kettalt Apstest2
õpilase programm APSPupil
ja logida ennast programmi sisse oma nime all. Soovitav oleks
kirjutada oma nimi alati ühtmoodi.
Juurdepääsufail
valida kataloogist Andmed.
Positiivseks loetakse tulemusi
alates 75 protsendist.
Lahendada võib mitu korda, tähtaeg
on 1 nädal (vastava loengu alguseni). Testid on väljas
kuni kontrolltööni. Lahendamine peale tähtaega
annab 50% saadud punktidest.
Test |
Välja pandud |
Tähtaeg |
|
|
AT01. Sissejuhatus. LRF definitsioon |
13.II |
20.II |
|
|
AT02. Lihtrekursiivsed hulgad ja predikaadid |
20.II |
27.II |
|
|
AT03*. Situatsiooni numbrid jms |
5.III |
12.III |
|
|
AT04. Algoritmide lahenduvad ja poollahenduvad omadused |
27.III |
|
|
|
AT05. Hulkade ja predikaatide klassid |
20.III |
3.IV |
|
|
AT06. Rekursiooniteooria definitsioonid ja teoreemid |
20.III |
3.IV |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|