Přednášky

Přednášky jsou nahrávány. Odkaz na playlist.

Přednášky jsou streamovány. Odkaz na stream posluchárny T2:D3-209.

V časovém plánu přednášek jsou odkazovány nahrané přednášky z let 2022 a 2024, aby zájemci o zhlédnutí přednášek před živou přednáškou měli tuto možnost.

Časový plán

č.t.	Datum	Téma	Materiály
1	17. 2.	Úvodní přednáška. Syntax výrokové logiky. Úvodní přednáška. (2024) Syntax výrokové logiky.	Připomeňte si z DMA matematickou indukci. Lecture notes - syntax výrokové logiky.
1	18. 2.	Přirozená dedukce ve výrokové logice. Přirozená dedukce.	Lecture notes - přirozená dedukce ve výrokové logice.
2	24. 2.	Přirozená dedukce ve výrokové logice. Přirozená dedukce a sémantika výrokové logiky.
3	3. 3.	Sémantika výrokové logiky, sémantický důsledek.	Slides k sémantice výrokové logiky.
3	4. 3.	Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF.	Lecture notes k celé výrokové logice.
4	11. 3.	Syntax predikátové logiky.	Slides k syntaxi predikátové logiky. Slides k sémantice predikátové logiky.
5	17. 3.	Sémantika predikátové logiky.
5	18. 3.	Sémantika predikátové logiky.	Další slides k sémantice predikátové logiky.
6	24. 3.	Sémantika predikátové logiky.
7	31. 3.	Přirozená dedukce v predikátové logice.	Slides k přirozené dedukci v predikátové logice.
7	1. 4.	Přirozená dedukce v predikátové logice.
8	7. 4.	Pokročilá témata z predikátové logiky.	Lecture notes k celé predikátové logice.
9	14. 4.	Úvod do teorie grafů.	Slides
9	15. 4.	Barvení grafu a příbuzné pojmy.	Slides
10	21. 4.	Přednáška odpadá.
11	28. 4.	Stromy, minimální kostry.	Slides
11	29. 4.	Eulerovské grafy.	Slides
12	5. 5.	Orientované grafy.	Orientované grafy.
13	12. 5.	Silná souvislost.	Silná souvislost.
13	13. 5.	Algoritmus Kosaraju-Sharir.	Kosaraju-Sharir: důkaz korektnosti algoritmu (ke zkoušce nepovinné).
14	19. 5.	Reserva.

Playlist přednášek (2022). Playlist přednášek (2024). Probraná látka se může od let 2022 a 2024 lišit.

Přednášky ze zimy 2022 od dr. Gollové.