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. | 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.