BI-SPOL-1 |
BI-AAG |
Přehled Chomského hierarchie formálních jazyků a gramatik. Turingovy stroje. Třídy problémů P, NP, NP-těžký, NP-úplný. |
@JakubRathousky |
Ano |
BI-SPOL-2 |
BI-AAG |
Regulární jazyky: Deterministické a nedeterministické konečné automaty. Determinizace konečného automatu. Minimalizace deterministického konečného automatu. Operace s konečnými automaty. Regulární gramatiky, regulární výrazy, regulární rovnice. |
|
Ne |
BI-SPOL-3 |
BI-AAG |
Bezkontextové jazyky: Bezkontextové gramatiky, zásobníkové automaty a jejich varianty. Modely syntaktické analýzy bezkontextových jazyků. |
|
Ne |
BI-SPOL-4 |
BI-AG1 |
Základní pojmy teorie grafů. Grafové algoritmy: procházení grafu do šířky a do hloubky, určení souvislých komponent, topologické uspořádání, vzdálenosti v grafech, konstrukce minimální kostry a nejkratších cest v ohodnoceném grafu. |
@DanHampl |
Ano |
BI-SPOL-5 |
BI-AG1 |
Binární haldy, binomiální haldy. Vyhledávací stromy a jejich vyvažování. Tabulky s rozptylováním (hešováním). |
@DanHampl |
Ano |
BI-SPOL-6 |
BI-BEZ |
Asymetrické kryptosystémy (šifra RSA, Diffie-Hellman, RSA digitální podpis), hešovací funkce (SHA-2, HMAC). |
@JakubRathousky |
Ano |
BI-SPOL-7 |
BI-BEZ |
Symetrické šifry blokové a proudové (AES, 3DES, RC4) základní parametry, operační módy blokových šifer (ECB, CBC, CFB, OFB, CTR, MAC), jejich základní popis a slabiny. |
|
Ne |
BI-SPOL-8 |
BI-BEZ |
Infrastruktura veřejného klíče, distribuce klíčů, digitální podpis. Certifikáty, certifikační autority. Kryptograficky bezpečné generátory náhodných čísel. |
|
Ne |
BI-SPOL-9 |
BI-DBS |
Relační databáze, dotazování v relační algebře, základní koncepce jazyka SQL (SELECT, DDL, DML, DCL, TCL) , vyjádření integritních omezení v DDL. |
|
Ne |
BI-SPOL-10 |
BI-DBS |
Transakce a jejich vlastnosti - ACID. |
|
Ne |
BI-SPOL-11 |
BI-DBS |
3 úrovně pohledu na data (konceptuální, implementační, fyzická). Struktury pro ukládání dat v relačních databázích s ohledem na rychlý přístup k nim (speciální způsoby uložení, indexy apod.) |
|
Ne |
BI-SPOL-12 |
BI-LIN |
Soustavy lineárních rovnic: Frobeniova věta a související pojmy, vlastnosti a popis množiny řešení, Gaussova eliminační metoda. |
|
Ne |
BI-SPOL-13 |
BI-LIN |
Matice: součin matic, regulární matice, inverzní matice a její výpočet, vlastní čísla matice a jejich výpočet, diagonalizace matice. |
|
Ne |
BI-SPOL-14 |
BI-MLO |
Výroková logika: syntax a sémantika výrokových formulí, pravdivostní ohodnocení, logický důsledek, ekvivalence a jejich zjišťování. Universální systém logických spojek, disjunktivní a konjunktivní normální tvary, úplné a minimální tvary. |
@JakubRathousky |
Ano |
BI-SPOL-15 |
BI-MLO |
Predikátová logika: jazyk, interpretace, pravdivost formulí, logický důsledek a ekvivalence. Formalizace matematických tvrzení a jejich negace. Teorie a jejich modely (např. uspořádání). |
|
Ne |
BI-SPOL-16 |
BI-OSY |
Procesy a vlákna, jejich implementace. Synchronizační nástroje. Klasické synchronizační úlohy. Plánování vláken. Přidělování prostředků, Coffmanovy podmínky, způsoby řešení uváznutí. |
|
Ne |
BI-SPOL-17 |
BI-OSY |
Principy překladu logických adres na fyzické u virtuální stránkované paměti s/bez segmentace. Algoritmy pro nahrazování stránek u virtuální stránkované paměti. |
|
Ne |
BI-SPOL-18 |
BI-PA1 |
Datové typy v programovacích jazycích. Staticky a dynamicky alokované proměnné, spojové seznamy. Modulární programování, procedury a funkce, vstupní a výstupní parametry. Překladač, linker, debugger. |
|
Ne |
BI-SPOL-19 |
BI-PA1 + BI-AG1 |
Časová a paměťová složitost algoritmů. Algoritmy vyhledávání (sekvenční, půlením intervalu), slučování a řazení (BubbleSort, SelectSort, InsertSort, MergeSort, QuickSort). Dolní mez složitosti řazení v porovnávacím modelu. Řazení v lineárním čase. |
|
Ne |
BI-SPOL-20 |
BI-PA1 + BI-AG1 |
Rekurzivní rozklad problému na podproblémy metodou Rozděl-a-panuj. Rekurze vs iterace. Dynamické programování. |
|
Ne |
BI-SPOL-21 |
BI-PA2 |
Objektově orientovaného programování v C++, zapouzdření, dědičnost, atributy a metody, statické atributy a metody, virtuální metody, polymorfismus, abstraktní třídy, výjimky, šablony, přetěžování operátorů, mělká a hluboká kopie. |
|
Ne |
BI-SPOL-22 |
BI-PA2 |
Abstraktní datový typ, jeho specifikace a implementace. Zásobník, fronta, pole, seznam, tabulka, množina. Implementace pomocí pole, spojových struktur a stromů. |
@JakubRathousky |
Ano |
BI-SPOL-23 |
BI-PSI |
ISO/OSI a TCP/IP model. Protokoly linkové vrstvy.Potvrzovací metody. Přepínání a směrování. Principy fungování propojovacích síťových prvků. |
|
Ne |
BI-SPOL-24 |
BI-PSI |
Protokolová rodina TCP/IP (IPv4, IPv6, TCP, UDP, aplikační protokoly). Řízení datového toku. Princip a využití NAT. Systém DNS. |
|
Ne |
BI-SPOL-25 |
BI-PST |
Pravidla pro výpočty pravděpodobností, Bayesův vzorec. Náhodné veličiny, příklady rozdělení, distribuční funkce, hustota, momenty. Nezávislost náhodných jevů a veličin. Centrální limitní věta, zákony velkých čísel. |
|
Ne |
BI-SPOL-26 |
BI-PST |
Základy statistické indukce, náhodný výběr, bodové odhady pro střední hodnotu a rozptyl, intervalové odhady pro střední hodnotu, testování statistických hypotéz o střední hodnotě. |
|
Ne |
BI-SPOL-27 |
BI-SAP |
Kombinační a sekvenční logické obvody (Mealy, Moore), popis a možnosti implementace na úrovni hradel. Minimalizace vyjádření logické funkce (s využitím map). |
|
Ne |
BI-SPOL-28 |
BI-SAP |
Architektura číslicového počítače, instrukční cyklus počítače, základní třídy souborů instrukcí (ISA). Paměťový subsystém počítače, paměťová hierarchie, cache. |
|
Ne |
BI-SPOL-29 |
BI-SAP |
Kódy pro zobrazení čísel se znaménkem a realizace aritmetických operací (paralelní sčítačka/odčítačka, realizace aritmetických posuvů, dekodér, multiplexor, čítač). Reprezentace čísel v pohyblivé řádové čárce. |
|
Ne |
BI-SPOL-30 |
BI-SI1.2 |
Nástroje pro podporu tvorby softwarových produktů: Sledování chyb a správa úkolů (používané nástroje, typický životní cyklus úkolu/chyby), správa a sdílení zdrojových kódů (principy řešení spolupráce, hlavní přínosy, používané nástroje). |
@JakubRathousky |
Ano |
BI-SPOL-31 |
BI-SI1.2 |
Analytický doménový model tříd a popis životního cyklu identifikovaných tříd (cíle, UML diagram tříd, UML stavový diagram). |
@JakubRathousky |
Ano |
BI-SPOL-32 |
BI-ZDM |
Metody řešení rekurentních rovnic, sestavování a řešení rekurentních rovnic při analýze časové složitosti algoritmů. |
@DanHampl |
Ano |
BI-SPOL-33 |
BI-ZDM |
Modulární aritmetika, základy teorie čísel, Malá Fermatova věta, diofantické rovnice, lineární kongruence, Čínská věta o zbytcích. |
@DanHampl |
Ano |
BI-SPOL-34 |
BI-ZMA |
Limita a derivace funkce (definice a vlastnosti, geometrický význam), využití při vyšetřování průběhu funkce. |
|
Ne |
BI-SPOL-35 |
BI-ZMA |
Základy integrálního počtu (primitivní funkce, neurčitý integrál, Riemannův integrál (definice, vlastnosti a geometrický význam)). |
|
Ne |
BI-SPOL-36 |
BI-ZMA |
Číselné řady (konvergence číselné řady, kritéria konvergence, odhadování rychlosti růstu řad pomocí určitého integrálu). |
|
Ne |