Loengud
Lektor on Kati Ain. Loenguid on 16 tükki ja need toimuvad teisipäeviti kell 10-12 Zoomis (ligipääs Moodle kursuselt).
Loengukonspekt
Siin on loengukonspekt. Semestri jooksul võidakse sellesse teha pisiparandusi.
Loengute ajakava
- Lausearvutuse põhimõistete kordamine. Tõesuspuud.
- Indiviidid, predikaadid ja kvantorid. Predikaatarvutuse valemid.
- Predikaatarvutuse valemi tõeväärtus. Valemite omadused.
- Predikaatarvutuse valemite samaväärsus. Predikaatloogika põhisamaväärsused.
- Predikaatloogika põhisamaväärsuste tõestamine. Valemi prefikskuju.
- Aksiomaatilise teooria üldskeem. Sekventsiaalne lausearvutus.
- Sekventsiaalse lausearvutuse korrektsus ja täielikkus. Peano aksioomid.
- Naturaalarvude omaduste tõestamine.
- Graafi mõiste. Tipu aste. Tipuastmete teoreem. Ahelad ja tsüklid.
- Graafi sidusus. Graafide isomorfism.
- Euleri ja Hamiltoni graafid.
- Puud.
- Toespuud. Kruskali ja Primi algoritm.
- Suunatud graafid.
- Lühima tee leidmise ülesanne. Floydi-Warshalli algoritm.
- Dijkstra algoritm.