neděle 21. února 2016
14:30
Link: [link]
Fituška - [link]
[link]
[link]
[link]
Průběhy státnic
[link]
[link]
[link]
[link]
[link]
[link]
Seznam otázek
Obor Informační systémy - MBS
Jazyk a sémantika predikátové logiky (termy, formule, realizace jazyka, pravdivost formulí).
Formální systém predikátové logiky (axiomy a odvozovací pravidla, dokazatelnost, model a důsledek teorie, věty o úplnosti a kompaktnosti, prenexní tvar formulí).
Algebraické struktury (grupy, okruhy, obory integrity a tělesa, svazy a Boolovy algebry, univerzální algebry).
Základní algebraické metody (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normálnípodgrupy a ideály okruhů).
Obory integrity a dělitelnost (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy).
Teorie polí (minimální pole, rozšíření pole, konečná pole a jejich konstrukce).
Metrické prostory (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta opevném bodu).
Normované a unitární prostory (základní vlastnosti a příklady, normované prostory konečné dimenze, uzavřené ortonormální systémy a Fourierovy řady).
Obyčejné grafy (stupně uzlů, sledy, souvislost, izomorfismy, stromy, kostry, Kruskalův a Primův algoritmus pro hledání minimální kostry ohodnoceného grafu, eulerovské a hamiltonovské grafy, planarita a obarvitelnost).
Orientované grafy (orientované sledy, souvislost a silná souvislost, turnaje, eulerovské a hamiltonovské grafy, Dijkstrův a Floyd-Warshallův algoritmus pro hledání cesty minimální délky).
Klasifikace gramatik, formálních jazyků a automatů přijímajících jazyky.
Vlastnosti formálních jazyků (typické vlastnosti a jejich rozhodnutelnost).
Konečné automaty (jazyky přijímané KA, varianty KA, minimalizace KA, Mihill-Nerodova věta).
Regulární množiny, regulární výrazy a rovnice nad regulárními výrazy.
Transformace a normální formy bezkontextových gramatik.
Zásobníkové automaty (jazyky přijímané ZA, varianty ZA).
Turingovy stroje (jazyky přijímané TS, varianty TS, lineárně omezené automaty, univerzální TS).
Nerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém).
Časová a paměťová složitost (třídy složitosti, úplnost, SAT problém).
Lambda kalkul (definice všech pojmů, operací...).
Práce v lambda kalkulu (reprezentace čísel a pravdivostních hodnot a operací nad nimi).
Haskell - lazy evaluation (typy v jazyce včetně akcí, význam typových tříd, demonstrace lazy evaluation).
Prolog - způsob vyhodnocení (základní princip, unifikace, chování vestavěných predikátů, operátor řezu - vhodné a nevhodné užití).
 Prolog - změna DB/programu za běhu (demonstrace na prohledávání stavového prostoru, práce se seznamy).
Klasifikace metod komprese dat (ztrátové, bezeztrátové, intuitivní, algoritmické, četnost výskytu, pravděpodobnost výskytu), princip kódování délek sledů, kódování "přesuň na začátek."
Kódy s proměnnou délkou - princip, zdůvodnění, Huffmanovy kódy - různé typy, kanonický Huffmanův kód, adaptivní Huffmanův kód, aritmetický kód.
Slovníkové metody (LZ77, LZ78, práce se slovníkem, pohyblivé okno, prodlužování položek).
Základní funkce směrovače, zpracování paketů ve směrovači, typy přepínání a architektur.
Formální metody v počítačových sítích: modelování protokolů pomocí konečných automatů a temporálních logik.
Řízení toku dat (flow-control) a prevence zahlcení (congestion-control) na transportní vrstvě (MP-TCP, QUIC, SCTP, DCCP).
Identifikace síťového provozu (signatury, statistické metody), důvěra na Internetu (reputační systémy).
Sítě Peer-to-Peer: vlastnosti, chování, způsoby směrování. Strukturované a nestrukturované sítě.
Distribuované a paralelní algoritmy - algoritmy řazení, select.
Distribuované a paralelní algoritmy - algoritmy vyhledávání.
Model PRAM, suma prefixů a její aplikace.
Distribuované a paralelní algoritmy - algoritmy nad seznamy, stromy a grafy.
 Distribuované a paralelní algoritmy - předávání zpráv a knihovny pro paralelní zpracování (MPI).
Distribuovaný broadcast, synchronizace v distribuovaných systémech.
Hodnocení spolehlivosti biometrických systémů (chybové míry, metriky apod.).
Rozpoznávání otisků prstů (předzpracování, metody, markanty, třídy apod.).
Metody detekce živosti na prstech.
Rozpoznávání 2D/3D geometrie ruky (předzpracování, metody apod.).
Rozpoznávání duhovky a sítnice oka (předzpracování, metody apod.).
Rozpoznávání 2D/3D obličeje a termogramů obličeje (předzpracování, metody apod.).
Rozpoznávání dynamických vlastností člověka (dynamika stisku kláves, chůze apod.).
Rozpoznávání podpisu (předzpracování, metody apod.).
Rozpoznávání DNA (metody, extrahované rysy apod.).
Klasická kryptografie, substituční a transpoziční šifry, rotorové stroje.
Symetrická kryptografie. Vlastnosti, vlastnosti bezpečného algoritmu, délka klíče, útok silou, příklady symetrickýchalgoritmů, Feistelovy šifry, DES, režimy činnosti, proudové šifry.
Asymetrická kryptografie, vlastnosti, způsoby použití, poskytované bezpečnostní funkce, elektronický podpis a jeho vlastnosti, hybridní kryptografie, algoritmus RSA, generování klíčů, šifrování, dešifrování.
Hašovací funkce, klíčovaný haš a MAC a jejich použití a vlastnosti.
Správa klíčů v asymetrické kryptografii (certifikáty X.509).
Správa a distribuce klíčů v symetrické kryptografii (KDC, KTC a navazující protokoly).
Řízení přístupu k síti (bezpečnostní politika, AAA, RADIUS, TACACS+, 802.1x, Kerberos, OTP).
Bezpečnost v operačních systémech (správa OS, ACL, Audit, BSM, MAC, Capabilities).
Systémy IDS a IPS, signatury.
Útoky v počítačových sítích a ochrana před nimi (útoky na DHCP, ARP, tabulku CAM).
Zabezpečení síťové komunikace pomocí VPN.
Hrozby, slabá místa, aktiva, škodlivý software (malware), funkce prosazující bezpečnost (řízení přístupu, autentizace, skryté kanály, audit, přenos dat).
Kritéria hodnocení bezpečnosti informačních systémů, historie, kritéria CC (Common Criteria), standardy pro management bezpečnosti.
Analýza rizik bezpečnosti informačních systémů (vstupy, výstupy, jednotlivé generace).
Bezpečnost webových aplikací, typické útoky.
Bezpečnost bezdrátových sítí, útoky, způsoby kryptografického zabezpečení.
Objektově-orientované databázové systémy - kolekce a struktura, objekt, dědičnost, vztahy, role, systém Cache,architektura Java Enterprise Edition.