Praktikumid
Ülesannete brošüür: PDF.
| Kuupäev inf1-6,mat | inf7,8 | Teema |
| 14.02 | 15.02 | Tingimuste ja olukordade analüüsimine |
| 15.02 | 16.02 | Tõesuspuu meetod |
| 21.02 | 22.02 | Valemite teisendamine |
| 22.02 | 23.02 | Normaalkujud |
| 28.02 | 01.03 | Predikaadid ja kvantorid |
| 01.03 | 02.03 | Predikaadid ja kvantorid |
| 07.03 | 08.03 | Väidete väljendamine |
| 08.03 | 09.03 | Interpretatsioonide koostamine |
| 14.03 | 15.03 | Väljendamine II |
| 15.03 | 16.03 | Tõesuspuu predikaatarvutuses |
| 21.03 | 22.03 | Samaväärsuste kasutamine |
| 22.03 | 23.03 | Tõestamine interpretatsioonide abil |
| 28.03 | 23.03 | Väidete tõestamine I |
| 29.03 | 29.03 | Väidete tõestamine II |
| 04.04 | 05.04 | Loogika kordamine |
| 05.04 | 06.04 | Kontrolltöö |
| 11.04 | 12.04 | Graafide sissejuhatus |
| 12.04 | 13.04 | Tipuastmete teoreem |
| 18.04 | 19.04 | Sidusus, isomorfism |
| 19.04 | 20.04 | Graafiteooria väidete tõestamine |
| 25.04 | 26.04 | Graafiteooria väidete tõestamine II |
| 26.04 | 27.04 | Euleri ja Hamiltoni tsüklid |
| 02.05 | 03.05 | Puu mõiste |
| 03.05 | 04.05 | Tõestusülesanded puudest |
| 09.05 | 10.05 | Puude omaduste kasutamine |
| 10.05 | 11.05 | Aluspuud |
| 16.05 | 17.05 | Puud ja suunatud graafid |
| 17.05 | 18.05 | Suunatud graafide kasutamine |
| 23.05 | 24.05 | Graafide kordamine |
| 24.05 | 25.05 | Kontrolltöö |
| 30.05 | 31.05 | Tugev sidusus |
| 31.05 | 01.06 | Suunatud ahelad ja tsüklid |