č.t. | Datum | Téma | Materiály |
1 | 20. 2. | Úvodní přednáška. (2022) | Připomeňte si matematickou indukci. Kapitola z DMA. Přednáška DMA: Indukce. Přednáška DMA: Induktivní definice. |
1 | 21. 2. | Syntax výrokové logiky. | Lecture notes - syntax výrokové logiky. |
2 | 27. 2. | Přirozená dedukce. | Lecture notes - přirozená dedukce ve výrokové logice. |
3 | 6. 3. | Přirozená dedukce a sémantika výrokové logiky. | Slides k sémantice výrokové logiky. |
3 | 7. 3. | Sémantika výrokové logiky, sémantický důsledek. | |
4 | 13. 3. | Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF. | |
5 | 20. 3. | Syntax predikátové logiky. | Slides k syntaxi 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. |
5 | 21. 3. | Přirozená dedukce v predikátové logice. | |
6 | 27. 3. | Přirozená dedukce v predikátové logice. | |
7 | 3. 4. | Sémantika predikátové logiky. | |
7 | 4. 4. | Sémantika predikátové logiky. | Lecture notes. |
8 | 10. 4. | Státní svátek. Přednáška odpadá. | |
9 | 17. 4. | Sémantika predikátové logiky. | |
9 | 18. 4. | Základní pojmy teorie grafů. | Podklady k přednášce. |
10 | 24. 4. | Isomorfismus, cesty, souvislost, eulerovské grafy. | Podklady k přednášce. Videopřednáška 1, 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. | Stromy, kostry. | Podklady k přednášce. |
11 | 4. 5. (čtvrtek) | Algoritmy pro hledání minimální kostry. | Podklady k přednášce. |
12 | 8. 5. | Státní svátek. Přednáška odpadá. | |
12 | 9. 5. (úterý) | Eulerovské grafy. | Podklady k přednášce. Alternativní videopřednáška. |
13 | 15. 5. | Barvení grafu a nezávislost. | Alternativní podklady k přednášce. Alternativní videopřednáška. |
13 | 16. 5. | Orientované grafy. Orientované grafy a silná souvislost. | Orientované grafy. Silná souvislost. Alternativní videopřednáška. |
14 | 22. 5. | Algoritmus Kosaraju-Sharir. | Kosaraju-Sharir: důkaz korektnosti algoritmu (ke zkoušce nepovinné). |