No. | Datum | |
---|---|---|
1. | 21.2 | 22.2 |
2. | 28.2 | 29.2 |
3. | 7.3 | 8.3 |
4. | 14.3 | 15.3 |
5. | 21.3 | 22.3 |
6. | 28.3 | 29.3 |
7. | 4.4 | 5.4 |
No. | Datum | Téma | |
---|---|---|---|
8. | 11.4 | 12.4 | Test from functional part, Prolog as a database |
9. | 18.4 | 19.4 | Unification, Lists. |
10. | 25.4 | 26.4 | Cut, Tail-recursion, Efficient programming with cut. |
11. | 9.5 | 3.5 | Search algorithms. |
13. | 16.5 | 10.5 | Test from the logic part, proof trees for recursive predicates. |
14. | 23.5 | 24.5 | Term manipulation, advanced algorithms. |