Přednášky

Na této stránce budou s předstihem specifikována témata jednotlivých přednášek. U tematických bloků budou k disposici učební materiály.

Přednášky jsou i streamovány. Odkaz na stream posluchárny.

Časový plán

č.t.	Datum	Téma	Materiály
1	16. 2.	Úvodní přednáška. Syntax výrokové logiky.	Lecture notes - syntax výrokové logiky.
1	17. 2.	Přirozená dedukce ve výrokové logice.	Lecture notes - přirozená dedukce ve výrokové logice.
2	23. 2.	Přirozená dedukce a sémantika výrokové logiky.
3	2. 3.	Sémantika výrokové logiky.	Slides k sémantice výrokové logiky.
3	3. 3.	Sémantika výrokové logiky.	Lecture notes k celé výrokové logice. Může být ještě upraveno a doplněno.
4	9. 3.	Úvod do predikátové logiky.
5	16. 3.	Syntax a sémantika predikátové logiky.	Slides k syntaxi predikátové logiky.
5	17. 3.	Sémantika predikátové logiky.	Slides k sémantice predikátové logiky.
6	23. 3.	Sémantika predikátové logiky.	Slides k dalším tématům sémantiky predikátové logiky. sl
7	30. 3.	Přirozená dedukce v predikátové logice.	Slides k přirozené dedukci v predikátové logice.
7	31. 3.	Přirozená dedukce v predikátové logice.	Lecture notes k predikátové logice.
8	6. 4.	Přednáška odpadá (svátek).
9	13. 4.	Úvod do teorie grafů.	Slides
9	14. 4.	Stromy.	Slides
10	20. 4.	Minimální kostry.	Slides
11	27. 4.	Eulerovské grafy.	Slides
11	28. 4.	Barvení grafu a příbuzné pojmy.	Slides
12	4. 5.	Orientované grafy.	Orientované grafy.
13	11. 5.	Silná souvislost.	Silná souvislost.
13	12. 5.	Teorie grafů.
14	15. 5.	Reserva.

Probraná látka se může od let 2022, 2024 a 2025 lišit.