Logika a grafy - přednášky
Zde je plán přednášek na zimní semestr. Ke každé přednášce jsou k dispozici presentace (handout a jeho verze vhodná k tisku) a videonahrávky (komentované handouty z online výuky).
Manuál k průběhu přednášek:
- Doporučuji vytisknout si presentaci (handout) a přinést si ji s sebou na přednášku. Můžete si do ní vpisovat své zápisky, anebo můžete použít úspornou verzi k tisku a důkazy si psát do sešitu.
- Na přednášce v posluchárně vyložím hlavní části látky a připojím zajímavé příklady navíc. Bude také prostor na vaše dotazy.
- Pokud vám bude něco v přednášce nejasné, můžete se podívat na videonahrávku z online výuky. Nahrávky jsou sledovatelné i rychlostí cca 1,5-krát rychleji, dají se kdykoliv pozastavit či složitější části přehrát znovu. Můžete si také danou přednášku vyhledat v nahraných přednáškách ze zimního semestru roku 2022/23 (viz playlist níže).
Kompletní playlist videonahrávek z online přednášek najdete zde.
Playlist záznamů z přednášek ze zimního semestru roku 2022/23 je zde.
Plán přednášek:
-
1. týden (od 25.9.) - Syntaxe a sémantika výrokové logiky. Splnitelnost formulí, tautologická ekvivalence. Úplné systémy spojek.
Handout č.1 a verze k tisku. Materál navíc: Dr. Libor Nentvich, Algoritmus na rozpoznávání formulí VL
Videonahrávka: část LGR01a, část LGR01b a část LGR01c ; část LGR02a. -
2. týden (od 2.10.) - Booleovské funkce, konjunktivní a disjunktivní normální formy. Sémantický důsledek.
Handout č.2 a verze k tisku.
Videonahrávka: část LGR02a, část LGR02b a část LGR03a -
3. týden (od 9.10.) - Resoluční metoda ve výrokové logice, převod do klauzálního tvaru.
Handout č.3 a verze k tisku.
Videonahrávka: část LGR03b a část LGR03c a příklady na resoluční tabulku od prof. Marie Demlové. -
4. týden (od 16.10.) - Přirozená dedukce ve výrokové logice - odvozovací pravidla a příklady použití. Korektnost a úplnost.
Handout č.4 a verze k tisku. Dr. Libor Nentvich: Přirozená dedukce
Videonahrávka: část LGR04a, část LGR04b a část LGR04c
Bodus - důkaz věty o úplnosti přirozené dedukce: Handout č.4D a verze k tisku. Videonahrávka část LGR04d. -
5. týden (od 23.10.) - Syntaxe a sémantika predikátové logiky, model sentence.
Handout č.5 a verze k tisku.
Videonahrávka: část LGR05a, část LGR05b a část LGR05c (Omluvte, prosím, zhoršenou kvalitu zvuku.) -
6. týden (od 30.10.) - Splnitelná sentence, tautologie. Sémantický důsledek, tautologická ekvivalence. Prenexní tvar formulí.
Handout č.6 a verze k tisku.
Videonahrávka: část LGR06a a část LGR06b -
7. týden (od 6.11.) - Resoluční metoda v predikátové logice, převod do klausálního tvaru, unifikace a tvorba resolvent.
Handout č.7 a verze k tisku.
Videonahrávka: část LGR07a, část LGR07b a část LGR07c. (Omluvte, prosím, zhoršenou kvalitu zvuku v části LGR07c.)
Přečtěte si též kapitolu Resoluční metoda v predikátové logice ve skriptech doc. Jiřího Velebila, strana 56-64. -
8. týden (od 13.11.) - Neorientované grafy - základní pojmy.
Handout č.8 a verze k tisku.
Videonahrávka: část LGR08a a část LGR08b -
9. týden (od 20.11.) - Stromy, charakterizace stromů. Hledání minimální kostry grafu.
Handout č.10 a verze k tisku.
Videonahrávka: část LGR10a, část LGR10b a část LGR10c -
10. týden (od 27.11.) - Grafové algoritmy a Eulerovské grafy.
Handout č.9 a verze k tisku.
Videonahrávka: část LGR09 (Pozor - v této nahrávce jsou mylně přehozené pojmy variant a invariant.) -
11. týden (od 4.12.) - Orientované grafy - základní pojmy. Acyklické grafy - topologické očíslování vrcholů a jádro grafu.
Handout č.11 a verze k tisku.
Videonahrávka: část LGR11a a část LGR11b -
12. týden (od 11.12.) - Orientované grafy - silně souvislé komponenty.
Handout č.12 a verze k tisku.
Videonahrávka: část LGR12 -
13. týden (od 18.12.) - Barvení grafu.
Handout č.13 a verze k tisku.
Videonahrávka: část LGR13a -
14. týden (od 8.1.) - Rovinné grafy.
Handout č.14 a verze k tisku.
Videonahrávka: část LGR14a, část LGR14b a část LGR14c
Zpět na domovskou stránku.