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

Přednášky jsou i streamovány.
Odkaz na [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQms-Ccv7aK8dyoGOKCq9qJL|stream posluchárny]].
===== Č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. | Přirozená dedukce a sémantika výrokové logiky. |  |
| 3  |  2. 3. | Sémantika výrokové logiky. | {{courses:b0b01lgr:lectures:vl-semantika-slides.pdf|Slides}} k sémantice výrokové logiky. |
| 3  |  3. 3. | Sémantika výrokové logiky. | {{courses:b0b01lgr:lectures:vl-lecture-notes.pdf|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. | {{courses:b0b01lgr:lectures:pl-syntax-slides.pdf|Slides}} k syntaxi predikátové logiky.  |
| 5  | 17. 3. | Sémantika predikátové logiky. | {{courses:b0b01lgr:lectures:pl-semantika-slides.pdf|Slides}} k sémantice predikátové logiky. |
| 6  | 23. 3. | Sémantika predikátové logiky. | {{courses:b0b01lgr:lectures:pl-semantika-pokracovani.pdf|Slides}} k dalším tématům sémantiky predikátové logiky. {{courses:b0b01lgr:lectures:pl-semantika-dodelavky.pdf|sl}} |
| 7  | 30. 3. | Přirozená dedukce v predikátové logice. | {{courses:b0b01lgr:lectures:pl-prir-dedukce-slides.pdf|Slides}} k přirozené dedukci v predikátové logice. |
| 7  | 31. 3. | Přirozená dedukce v predikátové logice. | {{courses:b0b01lgr:lectures:pl-lecture-notes.pdf|Lecture notes}} k predikátové logice. |
| 8  |  6. 4. | Přednáška odpadá (svátek). |  |
| 9  | 13. 4. | Úvod do teorie grafů. | {{courses:b0b01lgr:lectures:grafy-1-2023.pdf|Slides}}  |
| 9  | 14. 4. | [[https://www.youtube.com/watch?v=UM9JU_FRDFo|Stromy.]] | {{courses:b0b01lgr:lectures:grafy-stromy-kostry.pdf|Slides}} |
| 10 | 20. 4. | [[https://www.youtube.com/watch?v=dqjpm4hmlf8|Minimální kostry.]] | {{courses:b0b01lgr:lectures:grafy-stromy-kostry.pdf|Slides}} |
| 11 | 27. 4. | [[https://www.youtube.com/watch?v=ChWa8lrFRUM|Eulerovské grafy.]] | {{courses:b0b01lgr:lectures:grafy-2-2023.pdf|Slides}} |
| 11 | 28. 4. | [[https://www.youtube.com/watch?v=o9lf6gpMUMM|Barvení grafu a příbuzné pojmy.]] | {{courses:b0b01lgr:lectures:grafy-barevnost.pdf|Slides}} |
| 12 |  4. 5. | [[https://www.youtube.com/watch?v=8UeiuHIr09o|Orientované grafy.]] | {{grafy-orientovane.pdf|Orientované grafy.}} | 
| 13 | 11. 5. | [[https://www.youtube.com/watch?v=P2ea2cHhShg|Silná souvislost.]] | {{grafy-silna-souvislost.pdf|Silná souvislost.}} |
| 13 | 12. 5. | Teorie grafů. |  |
| 14 | 15. 5. | Reserva. |  |

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