Přednášky: Přednáška 1 - Přidat jak přepsat spojky Přednáška 2 Přednáška 3 Přednáška 4 Přednáška 5 Přednáška 6 Přednáška 7 Přednáška 8 Přednáška 9 Přednáška 10 Přednáška 11 Přednáška 12 Přednáška 13 Přednáška 14 Dělení předmětu: Výroková logika Predikátová logika Grafy