Praktikumid
Ülesannete brošüür: PDF.
Kuupäevad | Teema |
11.–15. veebruar | Tingimuste ja olukordade analüüsimine |
11.–15. veebruar | Tõesuspuu meetod |
18.–22. veebruar | Valemite teisendamine |
18.–22. veebruar | Normaalkujud |
25.02–01.03 | Predikaadid ja kvantorid |
25.02–01.03 | Predikaadid ja kvantorid |
4.–8. märts | Väidete väljendamine |
4.–8. märts | Interpretatsioonide koostamine |
11.–15. märts | Väljendamine II |
11.–15. märts | Tõesuspuu predikaatarvutuses |
18.–22. märts | Samaväärsuste kasutamine |
18.–22. märts | Tõestamine interpretatsioonide abil |
25.–29. märts | Väidete tõestamine I |
25.–29. märts | Väidete tõestamine II |
1.–5. aprill | Loogika kordamine |
1.–5. aprill | Kontrolltöö |
8.–12. aprill | Graafide sissejuhatus |
8.–12. aprill | Tipuastmete teoreem |
15.–19. aprill | Sidusus, isomorfism |
15.–19. aprill | Graafiteooria väidete tõestamine |
22.–26. aprill | Graafiteooria väidete tõestamine II |
22.–26. aprill | Euleri ja Hamiltoni tsüklid |
29.04.–03.05 | Puu mõiste |
29.04.–03.05 | Tõestusülesanded puudest |
6.–10. mai | Puude omaduste kasutamine |
6.–10. mai | Aluspuud |
13.–17. mai | Puud ja suunatud graafid |
13.–17. mai | Suunatud graafide kasutamine |
20.–24. mai | Tugev sidusus |
20.–24. mai | Suunatud ahelad ja tsüklid |
27.–31. mai | Graafide kordamine |
27.–31. mai | Kontrolltöö |