č.t. | Datum | Téma | Materiály |
1 | 14. 2. | Úvodní přednáška. | Připomeňte si matematickou indukci. Kapitola z DMA. Přednáška DMA: Indukce. Přednáška DMA: Induktivní definice. |
2 | 21. 2. | Syntax výrokové logiky. | Nepovinné alternativní video a slides k syntaxi výrokové logiky (relevantní je zatím jen část o syntaxi). |
2 | 22. 2. | Přirozená dedukce. | Logic in CS, sekce 1.2 (Natural Deduction). |
3 | 1. 3. | Přirozená dedukce a sémantika výrokové logiky. | Slides k sémantice výrokové logiky. |
4 | 7. 3. | Sémantika výrokové logiky, sémantický důsledek. | Logic in CS, sekce 1.4 a 1.5 (Semantics of propositional logic, Normal forms). |
4 | 8. 3. | Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF. | Logic in CS, sekce 1.4 a 1.5 (Semantics of propositional logic, Normal forms). |
5 | 14. 3. | Syntax predikátové logiky. | 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. Logic in CS, sekce 2.1 a 2.2. My navíc zavádíme logické konstanty ⊤ a ⊥. |
6 | 21. 3. | Přirozená dedukce v predikátové logice. | 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. | Přirozená dedukce v predikátové logice. | Logic in CS, sekce 2.3. |
7 | 28. 3. | Sémantika predikátové logiky. | Logic in CS, sekce 2.4. POZOR: My dovolujeme mít i interpretace s prázdným universem. |
8 | 4. 4. | Sémantika predikátové logiky. Lecture notes. | Logic in CS, sekce 2.4. |
8 | 5. 4. | Sémantika predikátové logiky. | Logic in CS, sekce 2.4. |
9 | 11. 4. | Základní pojmy teorie grafů. | Podklady k přednášce. |
10 | 19. 4. | Isomorfismus, cesty, souvislost, eulerovské grafy. | Videopřednáška 1, videopřednáška 2. Podklady k přednášce. |
11 | 25. 4. | Stromy, kostry. | |
12 | 2. 5. | Algoritmy pro hledání minimální kostry. | |
12 | 3. 5. | Orientované grafy. Topologické očíslování. | Slides k orientovaným grafům. |
13 | 9. 5. | Barvení grafu a nezávislost. | Alternativní podklady k přednášce. Alternativní videopřednáška. |
14 | 16. 5. | Orientované grafy a silná souvislost. | Alternativní podklady k přednášce. Alternativní videopřednáška. |
14 | 17. 5. | Algoritmus Kosaraju-Sharir. | |