Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
Obě strany předchozí revize Předchozí verze Následující verze | Předchozí verze | ||
mgr-szz:in-pds [2011/10/03 16:05] jianghongtiao |
mgr-szz:in-pds [2020/04/12 16:56] (aktuální) |
||
---|---|---|---|
Řádek 1: | Řádek 1: | ||
+ | ====== Státní magisterská zkouška v programu Informatika, obor Paralelní a distribuované systémy N-IN PDS ====== | ||
+ | [[https://www.fi.muni.cz/studies/szz_mgr/pds2015.xhtml|Oficiální znění otázek]] | ||
+ | |||
+ | - [[mgr-szz:in-pds:1-pds|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.]] | ||
+ | - [[mgr-szz:in-pds:2-pds|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.]] | ||
+ | - [[mgr-szz:in-pds:3-pds|Konečné automaty (FA) a logiky nad slovy. Logika 1.řádu (FOL) a monadická logika 2.řádu (MSOL): syntax a sémantika FOL a MSOL, principy převoditelnosti mezi FA a formulemi MSOL. Automaty nad nekonečnými slovy a omega-regulární jazyky.]] | ||
+ | - [[mgr-szz:in-pds:4-pds|Operační, denotační, a axiomatická sémantika programovacích jazyků. CPO, věta o pevném bodě a její použití. Hoareova logika, její korektnost a úplnost. Temporální logiky lineárního a větvícího se času a jejich fragmenty, sémantika neukončených a paralelních programů.]] | ||
+ | - [[mgr-szz:in-pds:5-pds|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.]] | ||
+ | - [[mgr-szz:in-pds:6-pds|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ů.]] | ||
+ | - [[mgr-szz:in-pds:7-pds|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í).]] | ||
+ | - [[mgr-szz:in-pds:8-pds|Systémy reálného času. Měkké a tvrdé systémy. Plánování v systémech reálného času: plánování s periodickými úkoly, plánování založené na prioritách, přístup ke sdíleným zdrojům.]] | ||
+ | - [[mgr-szz:in-pds:9-pds|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.]] | ||
+ | - [[mgr-szz:in-pds:10-pds|Počítačové sítě - základní pojmy, principy, architektury. Spojované a nespojované sítě, OSI model, protokoly v prostředí Internetu. Směrování, základní služby počítačových sítí, správa a bezpečnost sítí.]] |