' Množiny a relace (zobrazení, funkce, rozklady a ekvivalence) ', '2'=>' Elementární kombinatorika (variace, kombinace a permutace) ', '3'=>' Uspořádání (relace uspořádání, uspořádané množiny a svazy, číselné obory) ', '4'=>' Výroková logika (syntax, sémantika, odvozovací systém výrokové logiky, důkazy ve výrokové logice, pravdivost a dokazatelnost logických formulí) ', '5'=>' Důkazy programů (dokazování vlastností programů, induktivní metody, invarianty cyklů) ', '6'=>' Rekurze (rekurzivní definice funkcí, funkce vyššího řádu, částečná aplikace, curryifikace, definice funkcí rekurzivně a pomocí kombinátorů, definice vyšších funkcí bez použití formálních parametrů) ', '7'=>' Vyhodnocování výrazů (pořadí vyhodnocování, striktní a normální redukce, líná redukce, efektivita nekonečné datové struktury, definice funkcí nad nekonečnými strukturami) ', '8'=>' Regulární jazyky (regulární jazyky, způsoby jejich reprezentace, vlastnosti regulárních jazyků, vztah mezi konečnými automaty a regulárními gramatikami) ', '9'=>' Konečné automaty (definice, konstrukce konečného automatu, minimalizace konečného automatu, převod nedeterministického konečného automatu na deterministický automat) ', '10'=>' Bezkontextové jazyky (definice, vlastnosti, způsoby jejich reprezentace, konstrukce bezkontextové gramatiky a zásobníkového automatu, normální formy bezkontextových gramatik, použití lematu o vkládání pro bezkontextové jazyky, uzávěrové vlastností bezkontextových jazyků) ', '11'=>' Zásobníkové automaty (definice, převod bezkontextové gramatiky na zásobníkový automat). Syntaktická analýza (syntaktická analýza shora dolů a zdola nahoru, průběh analýzy daného slova). ', '12'=>' Turingovy stroje a jazyky typu 0 (definice, vztah ke gramatikám Chomského hierarchie, rekurzivní a rekurzivně spočetné jazyky, uzávěrové vlastnosti) ', '13'=>' Vyčíslitelnost (rekurzivní a rekurzivně spočetné množiny. První Riceova věta. Redukce a její vlastnosti. Uzávěrové vlastnosti rekurzívních a rekurzivně spočetných množin. Příklady rekurzivních a rekurzivně spočetných množin. ) ', '14'=>' Složitost (časová a prostorová složitost, hierarchie tříd složitosti a vztahy mezi nimi. NP-těžké a NP-úplné úlohy.Polynomiální redukce. Příklady NP-těžkých a NP-úplných úloh. Metody důkazu NP-těžkosti.) ', '15'=>' Datové struktury a jejich implementace (seznam, zásobník, fronta, binární strom, obecný strom, vyhledávací stromy a jejich modifikace. Implementace binárních a vyhledávacích stromů a operací nad nimi) ', '16'=>' Třídění (základní algoritmy, algoritmy řazení haldou, slučováním,rozdělováním) Grafové algoritmy (procházení grafu do hloubky a do šířky, složitost procházení grafu, komponenty souvislosti, hledání nejkratších cest, toky v sítích, kostra grafu) ', '17'=>' Algoritmy pro práci s řetězci. (Vyhledávání vzorků v textu. Naivní vyhledávání. Algoritmus Karpův-Rabinův. Algoritmus založený na konečných automatech. Složitost vyhledávání.) ', '18'=>' Metody analýzy složitosti algoritmů (složitost v nejlepším, nejhorším, průměrném případu, očekávaná složitost) ', '19'=>' Metody konstrukce efektivních algoritmů. (Rozděl a panuj. Dynamické programování. Hladové strategie. Backtracking. Meze použitelnosti i jednotlivých technik. Příklady algoritmů postavených na jednotlivých technikách.) ' ); $inProg = array( '1'=>' Výpočetní systémy I (číselné soustavy, vztahy mezi číselnými soustavami, zobrazení čísel v počítači, principy provádění aritmetických operací. Booleova algebra, kombinační a sekvenční logické obvody) ', '2'=>' Výpočetní systémy II (Procesory, jejich parametry a architektury. Architektura Intel. Vnitřní a vnější paměti a principy jejich funkce. Vstupní a výstupní zařízení počítače a jejich připojování) ', '3'=>' Programování (strukturované programování v imperativním jazyce. Datové a řídicí struktury programovacích jazyků, datové typy, procedury a funkce, bloková a modulární struktura programu) ', '4'=>' Objektově orientované programování (základní pojmy OOP, zapouzdření, dědičnost, polymorfizmus, objektové programování v imperativním jazyce, spolupráce objektů. Událostmi řízené programování. Výjimky) ', '5'=>' Operační systémy (achitektury operačních systémů, rozhraní operačních systémů. Procesy, synchronizace procesů, uváznutí a metody ochrany proti uváznutí. Práce s pamětí, logický a fyzický adresový prostor, správa paměti a způsoby jejího provádění.) ', '6'=>' Plánování v operačních systémech (správa a plánování činnosti procesorů. Systémy souborů. Správa a plánování činnosti V/V zařízení) ', '7'=>' Počítačové sítě (topologie, přístupové metody a architektury počítačových sítí (Ethernet, Fast Ethernet, Token-ring, ATM, ...). Bezdrátové komunikační technologie. Model OSI. Protokol TCP/IP. Propojování počítačových sítí a směrování informací) ', '8'=>' Databáze I (relační model, relační schéma, klíče relačních schémat, integritní omezení, relační algebra, spojování relací) ', '9'=>' Databáze II (funkční závislosti; klíče relačních schémat; Armstrongovy axiómy; dekompozice relačních schémat; normální formy obecně, 1NF, 2NF, 3NF, Boyce-Coddova NF, vztahy mezi NF; převody relačních schémat do NF) ', '10'=>' SQL (syntaxe a sémantika příkazů; vestavěné funkce, triggery, uložené procedury, příkazy pro definici dat; transakční zpracování; atomické operace; optimalizace dotazů) ', '11'=>' Základy datového modelování (návrh datových struktur; ER diagramy; entity, atributy, vztahy; grafické vyjádření) '); $appInf = array( '1'=>' Množiny a relace (zobrazení, funkce, rozklady a ekvivalence) ', '2'=>' Elementární kombinatorika (variace, kombinace a permutace) ', '3'=>' Uspořádání (relace uspořádání, uspořádané množiny a svazy, číselné obory) ', '4'=>' Výroková logika (syntax, sémantika, odvozovací systém výrokové logiky, důkazy ve výrokové logice, pravdivost a dokazatelnost logických formulí, rezoluce) ', '5'=>' Důkazy programů (dokazování vlastností programů, induktivní metody, invarianty cyklů) ', '6'=>' Rekurze (rekurzivní definice funkcí, funkce vyššího řádu, částečná aplikace, curryifikace, definice funkcí rekurzivně a pomocí kombinátorů, definice vyšších funkcí bez použití formálních parametrů) ', '7'=>' Vyhodnocování výrazů (pořadí vyhodnocování, striktní a normální redukce, líná redukce, efektivita nekonečné datové struktury, definice funkcí nad nekonečnými strukturami) ', '8'=>' Regulární jazyky (regulární jazyky, způsoby jejich reprezentace, vlastnosti regulárních jazyků, vztah mezi konečnými automaty a regulárními gramatikami) ', '9'=>' Konečné automaty (definice, konstrukce konečného automatu, minimalizace konečného automatu, převod nedeterministického konečného automatu na deterministický automat) ', '10'=>' Bezkontextové jazyky (definice, vlastnosti, způsoby jejich reprezentace, konstrukce bezkontextové gramatiky a zásobníkového automatu, normální formy bezkontextových gramatik, použití lematu o vkládání pro bezkontextové jazyky, uzávěrové vlastností bezkontextových jazyků) ', '11'=>' Zásobníkové automaty (definice, převod bezkontextové gramatiky na zásobníkový automat). Syntaktická analýza (syntaktická analýza shora dolů a zdola nahoru, průběh analýzy daného slova). ', '12'=>' Pravděpodobnost a statistika (klasická a podmíněná pravděpodobnost, distribuční funkce a rozdělení náhodných veličin, výpočet střední hodnoty, rozptylu a kovariance. ', '13'=>' Prolog (SLD-rezoluce, SLD-stromy, výpočetní mechanismus Prologu, základy programování v Prologu) ', '14'=>' Predikátová logika prvního řádu (syntax, sémantika, prenexace, skolemizace, unifikace, rezoluce) ', '15'=>' Datové struktury a jejich implementace (seznam, zásobník, fronta, binární strom, obecný strom, vyhledávací stromy a jejich modifikace. Implementace binárních a vyhledávacích stromů a operací nad nimi) ', '16'=>' Třídění (základní algoritmy, algoritmy řazení haldou, slučováním, rozdělováním)', '17'=>' Grafové algoritmy (procházení grafu do hloubky a do šířky, složitost procházení grafu) '); $appProg = array( '1'=>' Výpočetní systémy I (číselné soustavy, vztahy mezi číselnými soustavami, zobrazení čísel v počítači, principy provádění aritmetických operací. Booleova, Shefferova a Piercova algebra, kombinační a sekvenční logické obvody.) ', '2'=>' Výpočetní systémy II (Procesory, jejich parametry a architektury. Architektura Intel. Vnitřní a vnější paměti a principy jejich funkce. Vstupní a výstupní zařízení počítače a jejich připojování) ', '3'=>' Programování (strukturované programování v imperativním jazyce, datové a řídicí struktury programovacích jazyků, datové typy, procedury a funkce, bloková a modulární struktura programu) ', '4'=>' Objektově orientované programování (základní pojmy OOP, zapouzdření, dědičnost, polymorfizmus, objektové programování v imperativním jazyce, spolupráce objektů. Událostmi řízené programování. Výjimky) ', '5'=>' Operační systémy (achitektury operačních systémů, rozhraní operačních systémů. Procesy, synchronizace procesů, uváznutí a metody ochrany proti uváznutí. Práce s pamětí, logický a fyzický adresový prostor, správa paměti a způsoby jejího provádění. ', '6'=>' Plánování v operačních systémech (správa a plánování činnosti procesorů. Systémy souborů. Správa a plánování činnosti V/V zařízení) ', '7'=>' Počítačové sítě (topologie, přístupové metody a architektury počítačových sítí (Ethernet, Fast Ethernet, Token-ring, ATM, ...). Bezdrátové komunikační technologie. Model OSI. Protokol TCP/IP. Propojování počítačových sítí a směrování informací) ', '8'=>' Databáze I (relační model, relační schéma, klíče relačních schémat, integritní omezení, relační algebra, spojování relací) ', '9'=>' Databáze II (funkční závislosti; klíče relačních schémat; Armstrongovy axiómy; dekompozice relačních schémat; normální formy obecně, 1NF, 2NF, 3NF, Boyce-Coddova NF, vztahy mezi NF; převody relačních schémat do NF) ', '10'=>' SQL (syntaxe a sémantika příkazů; vestavěné funkce, triggery, uložené procedury, příkazy pro definici dat; transakční zpracování; atomické operace; optimalizace dotazů) ', '11'=>' Základy datového modelování (návrh datových struktur; ER diagramy; entity, atributy, vztahy; grafické vyjádření) ', '12'=>' Organizace souborů (Schémata organizace souborů. Statické organizace souborů, sekvenční soubory, indexové a přímé organizace souborů, statické hašování. Implementace souborů. Dynamické organizace souborů, dynamické hašování, B-stromy a jejich varianty. Základy teorie informace, komprese dat) ', '13'=>' Analýza a návrh systémů (Problémy spojené s řešením rozsáhlých systémů. Empirické zákony softwarového inzenýrství. Modelovací nástroje funkční a datové dekompozice. Konzistence modelu. Metody strukturované analýzy. Yourdonova metoda. Strukturovaný návrh, nástroje, metody, metriky a heuristiky návrhu) ', '14'=>' Objektově-orientovaná analýza a návrh (nástroje UML, modely různých aspektů systémů v UML, vysvětlení a aplikace empirických zákonů) '); if($_GET){ $obor = htmlspecialchars($_GET['obor']); if($obor>1){ $cisloInf = rand(1,sizeof($inInf)); $otazkaInf = $inInf[$cisloInf]; $cisloProg = rand(1,sizeof($inProg)); $otazkaProg = $inProg[$cisloProg]; }else{ $cisloProg = rand(1,sizeof($appProg)); $otazkaProg = $appProg[$cisloProg]; $cisloInf = rand(1,sizeof($appInf)); $otazkaInf = $appInf[$cisloInf]; } } ?> Simulátor potítka k ústní BC-SZZ na FI MUNI

Generátor otázek k ústní BC-SZZ na FI MUNI

Pro otestování znalostí získaných z wiki

Zpět na wiki k bakalářským státnicím na FI MUNI
Zvolte obor: /> 1) echo "checked='checked'"; ?> id="radioIN" />

Teoretické základy informatiky

otázka č.

Programové, informační a výpočetní systémy

otázka č.

Čas do odevzdání:

Jak tento nástroj používat?

Napřed se otázky naučte, tady nenajdete nic nového, zadání všech otázek je známé. Poté co se vše naučíte si zvolte obor a klikněte na "Vygenerovat". Tím dostanete náhodně vylosované otázky vašeho oboru. Poté bude odpočítáváno 30 minut na přípravu, sedněte si někde v klidu a vše si na papír připravte. Následně byste měli 15 minut prezentovat to co jste si připravili.