Loengud
Lektor on Valdis Laan. Loenguid on 16 tükki ja need toimuvad reeglina teisipäeviti kell 10-12 Jakobi 2 ringauditooriumis.
Loengukonspekt
Siin on loengukonspekt (viimati muudetud 13.06.2018).
Loengute ajakava
- Sissejuhatus. Kordamine: lausearvutuse põhimõisted, lausearvutuse põhisamaväärsused, järeldumine. Tõesuspuud. (13.02)
- Lausearvutuse valemite normaalkujud. (20.02)
- Indiviidid ja predikaadid. Kvantorid. Esimest järku keeled. (27.02)
- Signatuuri interpretatsioonid. Predikaatide väljendamine. Samaselt tõesus. (6.03)
- Tõesuspuu predikaatarvutuses. Järeldumine, samaväärsus. Predikaatloogika põhisamaväärsused. (13.03)
- Predikaatloogika põhisamaväärsuste tõestamine. Prefikskuju. (20.03)
- Teoreem ja tõestus. Tõestustaktikad. (27.03)
- Aksiomaatilised teooriad. Peano aksiomaatika. (3.04)
- Graafi mõiste. Tipu aste. Tipuastmete teoreem. Ahelad ja tsüklid. (10.04)
- Sidusus. Graafide isomorfism. (17.04)
- Euleri ja Hamiltoni tsüklid. Elementaarsete graafioperatsioonide algoritmid. (24.04)
- Puud. Puude põhiomadused. (27.04, erandkorras reedel)
- Algoritmi korrektsuse tõestamine. Toespuud. Kruskali ja Primi algoritm. (8.05)
- Kruskali ja Primi algoritmi korrektsus. Suunatud graafid. (15.05)
- Lühima tee leidmise ülesanne. Laiuti otsimise algoritm. Dijkstra algoritm. (22.05)
- Floydi-Warshalli algoritm. (29.05)