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.
| č.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. | |
| 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. | 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ů. |
Probraná látka se může od let 2022, 2024 a 2025 lišit.