Table of Contents

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.

Č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. Sémantika výrokové logiky.
3 2. 3. Sémantika výrokové logiky.
3 3. 3. Sémantika výrokové logiky.
4 9. 3. Predikátová logika.
5 16. 3. Predikátová logika.
5 17. 3. Predikátová logika.
6 23. 3. Predikátová logika.
7 30. 3. Predikátová logika.
7 31. 3. Predikátová logika.
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ů.

Staré nahrávky

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