Discrete mathematics I 2018/19 spring

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