====== 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. | {{syntax-vl.pdf|Lecture notes - syntax výrokové logiky.}} |
| 1  | 17. 2. | Přirozená dedukce ve výrokové logice. | {{prirozena-dedukce-vl.pdf|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 =====

  * [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQnG0q4N2pxNPNCKbjy2UEQN|Playlist přednášek (2022).]]
  * [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQlSzskMMlZOAJXR3eB82Obe|Playlist přednášek (2024).]]
  * [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQlNxhMQZX7jeg55EzQjYspr|Playlist přednášek (2025).]]
  * [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQmvll3FIL_UCr9v4qH7BR0U|Přednášky ze zimy 2022 od dr. Gollové.]]

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