====== Přednášky ======

Přednášky jsou nahrávány. Odkaz na [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQlNxhMQZX7jeg55EzQjYspr|playlist]].

Přednášky jsou streamovány. Odkaz na stream posluchárny [[https://www.youtube.com/watch?v=B_ndAJ6lRTw|T2:D3-209]].

V časovém plánu přednášek jsou odkazovány nahrané přednášky z let 2022 a 2024, aby zájemci o zhlédnutí přednášek před živou přednáškou měli tuto možnost.
===== Časový plán =====

^ č.t.^ Datum ^ Téma ^ Materiály ^
| 1  | 17. 2. | Úvodní přednáška. Syntax výrokové logiky. [[https://www.youtube.com/watch?v=xnCTyEFgMxg|Úvodní přednáška. (2024)]] [[https://www.youtube.com/watch?v=xi33sMCSk2k|Syntax výrokové logiky.]] | Připomeňte si z DMA matematickou indukci. {{syntax-vl.pdf|Lecture notes - syntax výrokové logiky.}} |
| 1  | 18. 2. | Přirozená dedukce ve výrokové logice. [[https://www.youtube.com/watch?v=RpjqSI7o2Co|Přirozená dedukce.]] | {{prirozena-dedukce-vl.pdf|Lecture notes - přirozená dedukce ve výrokové logice.}} |
| 2  | 24. 2. | Přirozená dedukce ve výrokové logice. [[https://www.youtube.com/watch?v=p9ZShwxtw9Q|Přirozená dedukce a sémantika výrokové logiky.]] |  |
| 3  |  3. 3. | [[https://www.youtube.com/watch?v=SuKbj9xKprs|Sémantika výrokové logiky, sémantický důsledek.]] | {{courses:b0b01lgr:lectures:vl-semantika-slides.pdf|Slides}} k sémantice výrokové logiky. |
| 3  |  4. 3. | [[https://www.youtube.com/watch?v=hU7ajMaHVIY|Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF.]] | {{courses:b0b01lgr:lectures:vl-lecture-notes.pdf|Lecture notes}} k celé výrokové logice. |
| 4  | 11. 3. | [[https://www.youtube.com/watch?v=XRqy900e0KM|Syntax predikátové logiky.]] | {{courses:b0b01lgr:lectures:pl-syntax-slides.pdf|Slides}} k syntaxi predikátové logiky. {{courses:b0b01lgr:lectures:pl-semantika-slides.pdf|Slides}} k sémantice predikátové logiky. |
| 5  | 17. 3. | [[https://www.youtube.com/watch?v=29AlIGYvWPs|Sémantika predikátové logiky.]] | |
| 5  | 18. 3. | [[https://www.youtube.com/watch?v=gGVqMNBAEv8|Sémantika predikátové logiky.]] | {{courses:b0b01lgr:lectures:pl-semantika-pokracovani.pdf|Další slides}} k sémantice predikátové logiky. |
| 6  | 24. 3. | [[https://www.youtube.com/watch?v=Nf9Cn_LOng0|Sémantika predikátové logiky.]] | |
| 7  | 31. 3. | [[https://www.youtube.com/watch?v=z5cVI_iaH9Y|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  |  1. 4. | [[https://www.youtube.com/watch?v=QASlaUbI234|Přirozená dedukce v predikátové logice.]] | |
| 8  |  7. 4. | Pokročilá témata z predikátové logiky. | {{courses:b0b01lgr:lectures:pl-lecture-notes.pdf|Lecture notes}} k celé predikátové logice. |
| 9  | 14. 4. | Úvod do teorie grafů. | {{courses:b0b01lgr:lectures:grafy-1-2023.pdf|Slides}}  |
| 9  | 15. 4. | [[https://www.youtube.com/watch?v=o9lf6gpMUMM|Barvení grafu a příbuzné pojmy.]] | {{courses:b0b01lgr:lectures:grafy-barevnost.pdf|Slides}} |
| 10 | 21. 4. | Přednáška odpadá. | | 
| 11 | 28. 4. | [[https://www.youtube.com/watch?v=UM9JU_FRDFo|Stromy.]] | {{courses:b0b01lgr:lectures:grafy-stromy-kostry.pdf|Slides}} |
| 11 | 29. 4. | [[https://www.youtube.com/watch?v=dqjpm4hmlf8|Minimální kostry.]] | {{courses:b0b01lgr:lectures:grafy-stromy-kostry.pdf|Slides}} |
| 12 |  5. 5. | [[https://www.youtube.com/watch?v=ChWa8lrFRUM|Eulerovské grafy.]] | {{courses:b0b01lgr:lectures:grafy-2-2023.pdf|Slides}} |
| 13 | 12. 5. | [[https://www.youtube.com/watch?v=8UeiuHIr09o|Orientované grafy.]] | {{grafy-orientovane.pdf|Orientované grafy.}} | 
| 13 | 13. 5. | [[https://www.youtube.com/watch?v=P2ea2cHhShg|Silná souvislost.]] | {{grafy-silna-souvislost.pdf|Silná souvislost.}} |
| 14 | 19. 5. | [[https://www.youtube.com/watch?v=5MKIc80gvr0|Algoritmus Kosaraju-Sharir.]] | [[https://www.sciencedirect.com/science/article/pii/S0020019001003064|Kosaraju-Sharir: důkaz korektnosti algoritmu]]. |

[[https://www.youtube.com/playlist?list=PLQL6z4JeTTQnG0q4N2pxNPNCKbjy2UEQN|Playlist přednášek (2022).]] [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQlSzskMMlZOAJXR3eB82Obe|Playlist přednášek (2024).]] Probraná látka se může od let 2022 a 2024 lišit.

[[https://www.youtube.com/playlist?list=PLQL6z4JeTTQmvll3FIL_UCr9v4qH7BR0U|Přednášky ze zimy 2022 od dr. Gollové.]]