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öö |