Informace pro studenty předmětu Logika a teorie grafů

(obor INFO - prezenční studium)

Zkouąky

Prosím vezměte na vědomí, že vypsané termíny zkoušek jsou pro tento rok konečné, žádné další vypisovat nebudu.

Témata a materiály

Soubory v této části budu během semestru průbežně aktualizovat. Materiály, které k jednotlivým tématům naleznete na těchto stránkách, budou podle mého názoru dostatečné k tomu, abyste z nich látku pochopili a následně mohli složit zkoušku. V případě, že tento názor nesdílíte, naleznete samozřejmě na internetu nespočet dalších odkazů, většinou stačí informace z wikipedie. V případě, že budete chtít daląí materiály, můžete se na mne kdykoli obrátit. Jakákoli skripta či kniha k daným tématům bude podle mého názoru obsahovat podstatně více informací než budu probírat, tak si prosím přečtěte témata přednášek, ať se náhodou neučíte víc než je třeba :-)

  • VÝROKOVÁ LOGIKA

    Výroková logika - výroková formule, ohodnocení formule, tautologie, kontradikce, ekvivalence formulí, převod formule do konjunktivního a (úplného) disjunktivního tvaru, Quin-McCluskeyho metoda nalezení minimálního vyjádření formule v disjunktivním tvaru. Formule v predikátové logice, negace složitějších formulí.

    Stáhnout si můžete moje prezentace k tématům výroková logika, Quin-McCluskeyho metoda a formule predikátové logiky. Dále nabízím popis Quin-McCluskeyho metody i s řešenými příklady, seznam ekvivalencí používaných k převodu formule do disjunktivního tvaru a příklady k této části přednášky.

  • TEORIE MNOŽIN

    Množinové operace, Vennovy diagramy, relace, vlastnosti relací, zobrazení.

    Všechny potřebné pojmy naleznete v mé prezentaci.

  • ÚVOD DO TEORIE GRAFŮ

    Základní pojmy teorie grafů, izomorfismus grafů, rovinné grafy, skóre grafu, Eulerovské grafy, kostra grafu, ohodnocené grafy, minimální kostra, hledání minimálních cest Dijkstrovým algoritmem, strom minimálních cest, orientované grafy, kořenové stromy, infixová, prefixová a postfixová notace aritmetických výrazů, sítě, toky v sítích, algoritmus pro nalezení maximálního toku sítí.

    Zdrojů k této problematice je nespočet, nabízím tato skripta a moji prezentaci k tématu. Dále doporučuji prezentace s algoritmy pro nalezení minimální kostry, Dijkstrovým algoritmem a algoritmem na hledání maximálního toku sítí. Ty nejsou vhodné k tisku.

  • KONEČNÉ AUTOMATY

    Základní pojmy z teorie konečných automatů, příklady konečných automatů, konstrukce konečných automatů pro doplněk, průnik a sjednocení jazyků, algoritmus na minimalizaci konečného automatu. Příklady neregulárních jazyků.

    K tématu konečné automaty si můžete stáhnout prezentaci, kterou používám při přednáškách, skripta, a příklady, které doporučuji, abyste si vyřešili.