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. Slides k sémantice predikátové logiky.
5	17. 3.	Sémantika predikátové logiky.
6	23. 3.	Sémantika predikátové logiky.
7	30. 3.	Přirozená dedukce 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.	Teorie grafů.
9	14. 4.	Teorie grafů.
10	20. 4.	Teorie grafů.
11	27. 4.	Teorie grafů.
11	28. 4.	Teorie grafů.
12	4. 5.	Teorie grafů.
13	11. 5.	Teorie grafů.
13	12. 5.	Teorie grafů.
14	15. 5.	Teorie grafů.

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