Státnice na FI MUNI mgr-szz:in-pds http://statnice.dqd.cz/ 2026-04-30T04:27:19+0200 Státnice na FI MUNI http://statnice.dqd.cz/ http://statnice.dqd.cz/lib/tpl/dokubook/images/favicon.ico text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:1-pds http://statnice.dqd.cz/mgr-szz:in-pds:1-pds?rev=1586703419 Zadání Grafy a grafové algoritmy. Formalizace základních grafových pojmů, reprezentace grafů. Souvislost grafu, barevnost, rovinné grafy. Algoritmy (včetně složitosti a základní myšlenky důkazů korektnosti): prohledávání grafu do šířky a do hloubky, nejkratší vzdálenosti, kostry, toky v sítích. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:2-pds http://statnice.dqd.cz/mgr-szz:in-pds:2-pds?rev=1586703419 Zadání Matematická logika. Výroková a predikátová logika, syntaxe, sémantika. Odvozovací systémy, formální důkazy. Korektnost a úplnost odvozovacích systémů. Gödelovy věty o neúplnosti. Vypracování Upozornění: bez nároku na úplnost a korektnost. Podle hesla „lepší něco než nic“. Ale snaha byla o co nejlepší výsledek. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:5-pds http://statnice.dqd.cz/mgr-szz:in-pds:5-pds?rev=1586703419 Zadání Metoda ověřování modelu (MC) pro konečně stavové systémy a lineární temporální logiku. Princip překladu formulí LTL na automaty nad nekonečnými slovy. Základní symbolické a explicitní algoritmy pro MC a jejich teoretická složitost. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:6-pds http://statnice.dqd.cz/mgr-szz:in-pds:6-pds?rev=1586703419 Zadání Formalismy pro modelování nekonečně stavových systémů (Petriho sítě, procesové přepisovací systémy, automaty, procesové kalkuly) a algebry procesů, porovnání jejich vyjadřovací síly vzhledem k bisimulaci. Vybrané rozhodnutelné problémy z oblasti verifikace těchto systémů. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:7-pds http://statnice.dqd.cz/mgr-szz:in-pds:7-pds?rev=1586703419 Zadání Specifické techniky pro verifikaci softwarových systémů, abstraktní interpretace, metody abstrakce a aproximace, redukce částečným uspořádáním, metody zjemňování abstrakcí (např. CEGAR – protipříkladem řízené zjemňování abstrakcí). text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) mgr-szz:in-pds:9-pds http://statnice.dqd.cz/mgr-szz:in-pds:9-pds?rev=1586703419 Zadání Modely distribuovaných systémů - základní pojmy a pricipy, synchronní a asynchronní komunikace. Synchronizace. Detekce ukončení. Problém vzájemného vyloučení a problém uváznutí a jejich řešení. Problém volby vedoucího prvku - vliv topologie a její znalosti/neznalosti na složitost řešení problému.