|
|
|
Lahendatav kuni | Lahendatav 50% jaoks kuni | |
| SML04-test1. Sissejuhatus lausearvutusse |
31.08 | 10.09 kell 23.55 |
19.10 |
|
| SML04-test2. Järeldumine. Normaalkujud |
7.09 |
14.09 kell 12.15 |
19.10 | |
| SML04-test3. Predikaadid ja kvantorid |
14.09 |
21.09kell 12.15 |
19.10 | |
| SML04-test4. |
21.09 |
28.09 kell 12.15 |
19.10 | |
| SML04-test5 |
12.10 |
19.10 kell 12.15 |
19.10 | |
| SML04-test6 .Tuletusreeglid |
9.11 |
16.11 kell 12.15 |
- |
|