Praktikumid
Ülesannete brošüür: PDF.
Praktikum | Teema |
1. | Tingimuste ja olukordade analüüsimine |
2. | Tõesuspuu meetod |
3. | Predikaadid ja kvantorid |
4. | Predikaadid ja kvantorid |
5. | Väidete väljendamine |
6. | Interpretatsioonide koostamine |
7. | Tõesuspuu predikaatarvutuses |
8. | Samaväärsuste kasutamine |
9. | Tõestamine interpretatsioonide abil |
10. | Väidete tõestamine I |
11. | Väidete tõestamine II |
12. | Aksiomaatilised teooriad |
13. | Sekventsiaalne lausearvutus I |
14. | Sekventsiaalne lausearvutus II |
15. | Loogika kordamine |
16. | Kontrolltöö |
17. | Graafide sissejuhatus |
18. | Tipuastmete teoreem |
19. | Sidusus, isomorfism |
20. | Graafiteooria väidete tõestamine |
21. | Graafiteooria väidete tõestamine II |
22. | Euleri ja Hamiltoni tsüklid |
23. | Puu mõiste |
24. | Tõestusülesanded puudest |
25. | Puude omaduste kasutamine |
26. | Aluspuud |
27. | Puud ja suunatud graafid |
28. | Suunatud graafide kasutamine |
29. | Tugev sidusus |
30. | Suunatud ahelad ja tsüklid |
31. | Graafide kordamine |
32. | Kontrolltöö |