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

Přednášky se pokusím s dopomocí SVTI nahrávat a s drobným zpožděním přidávat odkazy na tuto stránku.

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

^ č.t.^ Datum ^ Téma ^ Materiály ^
| 1  | 14. 2. | [[https://www.youtube.com/watch?v=CfrK7nFQdKU|Úvodní přednáška.]] | 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.]] |
| 2  | 21. 2. | [[https://www.youtube.com/watch?v=2s2tsWl-ysI|Syntax výrokové logiky.]] | Nepovinné [[https://www.youtube.com/watch?v=xUHFYvpxLVI|alternativní video]] a {{courses:b0b01lgr:lectures:lgr1.pdf|slides}} k syntaxi výrokové logiky (relevantní je zatím jen část o syntaxi). |
| 2  | 22. 2. | [[https://www.youtube.com/watch?v=2dKcNcPftes|Přirozená dedukce.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 1.2 (Natural Deduction).]] |
| 3  |  1. 3. | [[https://www.youtube.com/watch?v=a1Hjv8b3g3k|Přirozená dedukce a sémantika výrokové logiky.]] | {{courses:b0b01lgr:lectures:lgr1.pdf|Slides}} k sémantice výrokové logiky. |
| 4  |  7. 3. | [[https://www.youtube.com/watch?v=SuKbj9xKprs|Sémantika výrokové logiky, sémantický důsledek.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 1.4 a 1.5 (Semantics of propositional logic, Normal forms).]] |
| 4  |  8. 3. | [[https://www.youtube.com/watch?v=hU7ajMaHVIY|Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 1.4 a 1.5 (Semantics of propositional logic, Normal forms).]] |
| 5  | 14. 3. | [[https://www.youtube.com/watch?v=XRqy900e0KM|Syntax 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. [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.1 a 2.2.]] My navíc zavádíme logické konstanty ⊤ a ⊥.  |
| 6  | 21. 3. | [[https://www.youtube.com/watch?v=z5cVI_iaH9Y|Přirozená dedukce v predikátové logice.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.3.]] **POZOR**: My jsme striktnější v pravidlech pro substituci: používat můžeme pouze termy, v nichž jsou všechny proměnné deklarovány. První příklad na straně 114 pro nás **není** korektní důkaz. | 
| 6  | 22. 3. | [[https://www.youtube.com/watch?v=QASlaUbI234|Přirozená dedukce v predikátové logice.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.3.]] |
| 7  | 28. 3. | [[https://www.youtube.com/watch?v=7hh7jJbkuCU|Sémantika predikátové logiky.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.4.]] **POZOR**: My dovolujeme mít i interpretace s prázdným universem. |
| 8  |  4. 4. | [[https://www.youtube.com/watch?v=gGVqMNBAEv8|Sémantika predikátové logiky.]] {{ln-semantika-pl-2.pdf|Lecture notes}}. | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.4.]]  |
| 8  |  5. 4. | [[https://www.youtube.com/watch?v=Nf9Cn_LOng0|Sémantika predikátové logiky.]] | [[http://dcn.icc.spbstu.ru/~karpov/%d0%9a%d1%83%d1%80%d1%81%20%d0%9b%d0%9e%d0%93%d0%98%d0%9a%d0%90/%d0%94%d0%9e%d0%9f%d0%9e%d0%9b%d0%9d%d0%98%d0%a2%d0%95%d0%9b%d0%ac%d0%9d%d0%9e%d0%95%20%d0%a7%d1%82%d0%b5%d0%bd%d0%b8%d0%b5/LogicInCS.pdf|Logic in CS, sekce 2.4.]] |
| 9  | 11. 4. | [[https://www.youtube.com/watch?v=JBa08YTPpPI|Základní pojmy teorie grafů.]] | {{grafy-1-2022.pdf|Podklady k přednášce.}} |
| 10 | 19. 4. | Isomorfismus, cesty, souvislost, eulerovské grafy. | [[https://www.youtube.com/watch?v=ObANQtXpwC8|Videopřednáška 1]], [[https://www.youtube.com/watch?v=zEazNEgsNZE|videopřednáška 2]]. {{grafy-2-2022.pdf|Podklady k přednášce.}} | 
| 11 | 25. 4. | [[https://www.youtube.com/watch?v=UM9JU_FRDFo|Stromy, kostry.]] |
| 12 |  2. 5. | [[https://www.youtube.com/watch?v=dqjpm4hmlf8|Algoritmy pro hledání minimální kostry.]] |
| 12 |  3. 5. | [[https://www.youtube.com/watch?v=8UeiuHIr09o|Orientované grafy. Topologické očíslování.]] | {{courses:b0b01lgr:lectures:grafy-orientovane.pdf|Slides}} k orientovaným grafům. |
| 13 |  9. 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.]] | 
| 14 | 16. 5. | [[https://www.youtube.com/watch?v=0XkUwZHEcAI|Orientované grafy a silná souvislost.]] | {{grafy-silna-souvislost.pdf|Alternativní podklady k přednášce.}} [[https://www.youtube.com/watch?v=GQ3AP8Iu0yw|Alternativní videopřednáška.]] |
| 14 | 17. 5. | [[https://www.youtube.com/watch?v=5MKIc80gvr0|Algoritmus Kosaraju-Sharir.]] |

[[https://www.youtube.com/playlist?list=PLQL6z4JeTTQnG0q4N2pxNPNCKbjy2UEQN|Playlist přednášek.]]

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