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

===== Časový plán =====

^ č.t.^ Datum ^ Téma ^ Materiály ^
| 1  | 20. 2. | [[https://www.youtube.com/watch?v=PYk9LzoB8Vc|Úvodní přednáška. (2022)]] | Připomeňte si matematickou indukci. [[https://math.fel.cvut.cz/cz/lide/habala/teaching/dma/dmknih05.pdf|Kapitola z DMA.]] [[https://www.youtube.com/watch?v=zuy5uqoRwxA|Přednáška DMA: Indukce.]] [[https://www.youtube.com/watch?v=0hNJJ5r8GdQ|Přednáška DMA: Induktivní definice.]] |
| 1  | 21. 2. | [[https://www.youtube.com/watch?v=xi33sMCSk2k|Syntax výrokové logiky.]] | {{syntax-vl.pdf|Lecture notes - syntax výrokové logiky.}} |
| 2  | 27. 2. | [[https://www.youtube.com/watch?v=RpjqSI7o2Co|Přirozená dedukce.]] | {{prirozena-dedukce-vl.pdf|Lecture notes - přirozená dedukce ve výrokové logice.}} |
| 3  |  6. 3. | [[https://www.youtube.com/watch?v=p9ZShwxtw9Q|Přirozená dedukce a sémantika výrokové logiky.]] | {{courses:b0b01lgr:lectures:lgr1.pdf|Slides}} k sémantice výrokové logiky. |
| 3  |  7. 3. | [[https://www.youtube.com/watch?v=SuKbj9xKprs|Sémantika výrokové logiky, sémantický důsledek.]] | |
| 4  |  13. 3. | [[https://www.youtube.com/watch?v=hU7ajMaHVIY|Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF.]] | |
| 5  | 20. 3. | [[https://www.youtube.com/watch?v=XRqy900e0KM|Syntax predikátové logiky.]] |{{courses:b0b01lgr:lectures:pl1.pdf|Slides}} k syntaxi predikátové logiky. {{courses:b0b01lgr:logika.pdf|Kapitola 3.1}}, část se syntaxí predikátové logiky. Místo nulárních funkčních symbolů používáme konstantní symboly, místo specifikace množiny proměnných používáme předem danou spočetnou množinu proměnných. |
| 5  | 21. 3. | [[https://www.youtube.com/watch?v=z5cVI_iaH9Y|Přirozená dedukce v predikátové logice.]] | |
| 6  | 27. 3. | [[https://www.youtube.com/watch?v=QASlaUbI234|Přirozená dedukce v predikátové logice.]] | |
| 7  | 3. 4. | [[https://www.youtube.com/watch?v=29AlIGYvWPs|Sémantika predikátové logiky.]] | |
| 7  |  4. 4. | [[https://www.youtube.com/watch?v=gGVqMNBAEv8|Sémantika predikátové logiky.]] | {{ln-semantika-pl-2.pdf|Lecture notes}}. |
| 8  |  10. 4. | Státní svátek. Přednáška odpadá. | |
| 9  |  17. 4. | [[https://www.youtube.com/watch?v=Nf9Cn_LOng0|Sémantika predikátové logiky.]] | 
| 9  | 18. 4. | [[https://www.youtube.com/watch?v=uLEbaTIOnSA|Základní pojmy teorie grafů.]] | {{grafy-1-2023.pdf|Podklady k přednášce.}} |
| 10 | 24. 4. | Isomorfismus, cesty, souvislost, eulerovské grafy. | {{grafy-2-2023.pdf|Podklady k přednášce.}} [[https://www.youtube.com/watch?v=ObANQtXpwC8|Videopřednáška 1]], [[https://www.youtube.com/watch?v=zEazNEgsNZE|videopřednáška 2]]. Poznámka: eulerovské grafy byly odpřednášeny až 9. 5. | 
| 11 | 1. 5. | Státní svátek. Přednáška odpadá. | |
| 11 | 2. 5. | [[https://www.youtube.com/watch?v=UM9JU_FRDFo|Stromy, kostry.]] | {{grafy-stromy-kostry.pdf|Podklady k přednášce.}} |
| 11 |  4. 5. (čtvrtek) | [[https://www.youtube.com/watch?v=dqjpm4hmlf8|Algoritmy pro hledání minimální kostry.]] | {{grafy-stromy-kostry.pdf|Podklady k přednášce.}} |
| 12 |  8. 5. | Státní svátek. Přednáška odpadá. | |
| 12 |  9. 5. (úterý) | Eulerovské grafy. | {{grafy-2-2023.pdf|Podklady k přednášce.}} [[https://www.youtube.com/watch?v=zEazNEgsNZE|Alternativní videopřednáška.]] |
| 13 |  15. 5. | [[https://www.youtube.com/watch?v=o9lf6gpMUMM|Barvení grafu a nezávislost.]] | {{grafy-barevnost.pdf|Alternativní podklady k přednášce.}} [[https://www.youtube.com/watch?v=K2-QTlCUir8|Alternativní videopřednáška.]] | 
| 13 | 16. 5. | [[https://www.youtube.com/watch?v=8UeiuHIr09o|Orientované grafy.]] [[https://www.youtube.com/watch?v=P2ea2cHhShg|Orientované grafy a silná souvislost.]] | {{grafy-orientovane.pdf|Orientované grafy.}} {{grafy-silna-souvislost.pdf|Silná souvislost.}} [[https://www.youtube.com/watch?v=GQ3AP8Iu0yw|Alternativní videopřednáška.]] |
| 14 | 22. 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).]]

===== Pokročilá četba pro zájemce =====

  - Per Martin-Löf, On the meanings of the logical constants and the justifications of the logical laws, [[http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf|dostupné online]]: filosoficko-logický text vysvětlující význam logických spojek intuicionistickým pohledem.
  - Neil Tennant, Negation, absurdity and contrariety, [[https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/a/4597/files/2014/07/nac-2gav3mo.pdf|dostupné online]] : filosoficko-logický text útočící na naše používání symbolu pro "spor". Pohled logika zabývajícího se "relevantními" logikami.
  - Francis Jeffry Pelletier, Norman M. Martin, Post's functional completeness theorem, [[https://www.sfu.ca/~jeffpell/papers/PostPellMartin.pdf|dostupné online]]: čitelný článek rozebírající Postovu větu o úplných systémech logických spojek. Jak systematicky rozpoznávat, které systémy logických spojek úplné jsou a které ne?