Loengud
Lektor on Valdis Laan. Loenguid on 16 tükki ja need toimuvad teisipäeviti kell 10-12 Vanemuise 46 õppehoone auditooriumis 225.
Loengukonspekt
Siin on loengukonspekt (viimati muudetud 20.06.2019).
Loengute ajakava
- Sissejuhatus. Kordamine: lausearvutuse põhimõisted, põhisamaväärsused, järeldumine. Tõesuspuud. (12.02)
- Lausearvutuse valemite normaalkujud. (19.02)
- Indiviidid ja predikaadid. Kvantorid. Esimest järku keeled. (26.02)
- Signatuuri interpretatsioonid. Predikaatide väljendamine. Valemite omadused. (5.03)
- Tõesuspuu predikaatarvutuses. Järeldumine, samaväärsus. (12.03)
- Predikaatloogika põhisamaväärsused. Valemi prefikskuju. (19.03)
- Teoreem ja tõestus. Tõestustaktikad. (26.03)
- Aksiomaatilised teooriad. Peano aksiomaatika. (2.04)
- Graafi mõiste. Tipu aste. Tipuastmete teoreem. Ahelad ja tsüklid. (9.04)
- Graafi sidusus. Graafide isomorfism. (16.04)
- Euleri ja Hamiltoni graafid. (23.04)
- Puud. Puude põhiomadused. (30.04)
- Toespuud. Minimaalse kaaluga toespuu leidmine. (7.05)
- Suunatud graafid. (14.05)
- Lühima tee leidmise ülesanne. Floydi-Warshalli algoritm. (21.05)
- Dijkstra algoritm. (28.05)