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

Přednášky jsou nahrávány. [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQlSzskMMlZOAJXR3eB82Obe|Playlist dosud nahraných přednášek je zde.]]

Přednášky jsou streamovány. [[https://www.youtube.com/playlist?list=PLQL6z4JeTTQksA90YEFgx1Nr-2TWFHf5_|Odkaz na stream z přednáškové posluchárny je zde.]]

V časovém plánu přednášek jsou odkazovány nahrané přednášky z roku 2022, 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  | 19. 2. | Úvodní přednáška. Syntax výrokové logiky. [[https://www.youtube.com/watch?v=PYk9LzoB8Vc|Úvodní přednáška. (2022)]] [[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  | 20. 2. | Přirozená dedukce ve výrokové logice. [[https://www.youtube.com/watch?v=RpjqSI7o2Co|Přirozená dedukce.]] [[https://www.youtube.com/watch?v=p9ZShwxtw9Q|Přirozená dedukce a sémantika výrokové logiky.]] | {{prirozena-dedukce-vl.pdf|Lecture notes - přirozená dedukce ve výrokové logice.}} |
| 2  | 26. 2. | [[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.]] |  |
| 3  |  5. 3. | Reserva. | {{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  | 18. 3. | [[https://www.youtube.com/watch?v=29AlIGYvWPs|Sémantika predikátové logiky.]] | |
| 5  | 19. 3. | [[https://www.youtube.com/watch?v=gGVqMNBAEv8|Sémantika predikátové logiky.]] | |
| 6  | 25. 3. | [[https://www.youtube.com/watch?v=Nf9Cn_LOng0|Sémantika predikátové logiky.]] | |
| 7  | 2. 4. | [[https://www.youtube.com/watch?v=z5cVI_iaH9Y|Přirozená dedukce v predikátové logice.]] | |
| 8  |  8. 4. | [[https://www.youtube.com/watch?v=QASlaUbI234|Přirozená dedukce v predikátové logice.]] | {{courses:b0b01lgr:lectures:pl-lecture-notes.pdf|Lecture notes}} k celé predikátové logice. |
| 9  |  15. 4. | Úvod do teorie grafů. | {{courses:b0b01lgr:lectures:grafy-1-2023.pdf|Slides}}  |
| 9  | 16. 4. | [[https://www.youtube.com/watch?v=UM9JU_FRDFo|Stromy]], [[https://www.youtube.com/watch?v=dqjpm4hmlf8|minimální kostry]]. | [[https://math.fel.cvut.cz/en/people/velebil/files/downloads/min_kostry_2024.pdf|Slides doc. Velebila]] {{courses:b0b01lgr:lectures:grafy-stromy-kostry.pdf|Slides}} |
| 10 | 22. 4. | Přednáška odpadá. | | 
| 11 | 29. 4. | Eulerovské grafy. | {{courses:b0b01lgr:lectures:grafy-2-2023.pdf|Slides}} |
| 11 |  30. 4. | [[https://www.youtube.com/watch?v=o9lf6gpMUMM|Barvení grafu a příbuzné pojmy.]] | {{courses:b0b01lgr:lectures:grafy-barevnost.pdf|Slides}} |
| 12 |  6. 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 | 20. 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]] (ke zkoušce nepovinné). |

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