This class was created by Brainscape user Martin Mikan. Visit their profile to learn more about the creator.
By:
Martin Mikan
- decks
- flashcards
- learners
Decks in this class (63)
1 - Jazyk a sémantika predikátové logiky (termy, formule, realizace jazyka, pravdivost formulí)
No deck description has yet been added by the author.
8
cards
2 - 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í)
No deck description has yet been added by the author.
9
cards
3 - Algebraické struktury (grupy, okruhy, obory integrity a tělesa, svazy a Boolovy algebry, univerzální algebry)
No deck description has yet been added by the author.
8
cards
4 - Základní algebraické metody (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normální podgrupy a ideály okruhů)
No deck description has yet been added by the author.
10
cards
5 - Obory integrity a dělitelnost (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy)
No deck description has yet been added by the author.
9
cards
6 - Teorie polí (minimální pole, rozšíření pole, konečná pole a jejich konstrukce)
No deck description has yet been added by the author.
4
cards
7 - Metrické prostory (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta o pevném bodu).
No deck description has yet been added by the author.
9
cards
8 - 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)
No deck description has yet been added by the author.
6
cards
9 - Obyčejné grafy
No deck description has yet been added by the author.
8
cards
10 - Orientované grafy
No deck description has yet been added by the author.
6
cards
11 - Postrelační SŘBD (definice, vymezení problematiky a specifik pro O-R, prostorové, temporální, XML a deduktivní DB)
No deck description has yet been added by the author.
11
cards
14 - Objektově-relační databáze (charakteristika, porovnání s relačními, podpora v SQL:1999 a SQL:2003)
No deck description has yet been added by the author.
5
cards
15 - XML databáze
No deck description has yet been added by the author.
7
cards
12 - Metody indexování bodových a plošných útvarů - typicky obalujících hyperobdélníků - v prostorových DB
No deck description has yet been added by the author.
13
cards
13 - Temporální DB (modely času, generičnost dotazu a shlukování, [integritní] omezení v historii)
No deck description has yet been added by the author.
14
cards
16 - Klasifikace gramatik, formálních jazyků a automatů přijímajících jazyky
No deck description has yet been added by the author.
5
cards
17 - Vlastnosti formálních jazyků (typické vlastnosti a jejich rozhodnutelnost)
No deck description has yet been added by the author.
10
cards
18 - Konečné automaty (jazyky přijímané jazyky KA, varianty KA, minimalizace KA, Mihill-Nerodova věta))
No deck description has yet been added by the author.
7
cards
19 - Regulární množiny, regulární výrazy a rovnice nad regulárními výrazy
No deck description has yet been added by the author.
6
cards
20 - Transformace a normální formy bezkontextových gramatik
No deck description has yet been added by the author.
9
cards
21 - Zásobníkové automaty (jazyky přijímané ZA, varianty ZA)
No deck description has yet been added by the author.
6
cards
22 - Turingovy stroje (jazyky přijímané TS, varianty TS, lineárně omezené automaty, univerzální TS)
No deck description has yet been added by the author.
8
cards
23 - Nerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém)
No deck description has yet been added by the author.
7
cards
24 - Parciální rekurzivní funkce, časová a paměťová složitost (třídy složitosti, úplnost, SAT problém)
No deck description has yet been added by the author.
12
cards
25 - Petriho sítě (motivace, definice P/T Petriho sítě, metody analýzy, třídy Petriho sítí
No deck description has yet been added by the author.
6
cards
26 - Lambda kalkul (definice všech pojmů, operací...)
No deck description has yet been added by the author.
10
cards
27 - Haskell - lazy evaluation (typy v jazyce včetně akcí, význam typových tříd, demonstrace lazy evaluation)
No deck description has yet been added by the author.
8
cards
28 - Prolog - způsob vyhodnocení (základní princip, unifikace, chování vestavěných predikátů, operátor řezu /vhodné a nevhodné užití)
No deck description has yet been added by the author.
11
cards
29 - Management času a nákladů v rámci projektů
No deck description has yet been added by the author.
6
cards
30 - Management rizik v rámci projektů
No deck description has yet been added by the author.
9
cards
31 - Management kvality v rámci projektu (procesy, metody, Paretova analýza, diagram příčin a účinků, kvalitativní charakteristiky softwarových produktů)
No deck description has yet been added by the author.
6
cards
32 - Základní architektury přepínačů, algoritmy pro plánování, řešení blokování, vícestupňové přepínací sítě
No deck description has yet been added by the author.
15
cards
33 - Základní funkce směrovače, zpracování paketů ve směrovači, typy architektur
No deck description has yet been added by the author.
11
cards
34 - Základní principy softwarově definovaných sítí SDN, architektura, technologie OpenFlow
No deck description has yet been added by the author.
5
cards
35 - Procesy a vlákna POSIX
No deck description has yet been added by the author.
8
cards
36 - Semafory, vlastnosti a typické použití (binární, obecné)
No deck description has yet been added by the author.
5
cards
37 - Monitory, vlastnosti, typy a použití v praxi (POSIX vlákna)
No deck description has yet been added by the author.
4
cards
38 - Uváznutí při přidělování prostředků, detekce a řešení
No deck description has yet been added by the author.
7
cards
39 - Virtualizace paměti, stránkovací a nahrazovací algoritmy
No deck description has yet been added by the author.
6
cards
40 - Systémy souborů, přidělování a evidence diskového prostoru
No deck description has yet been added by the author.
5
cards
41 - Systémy souborů, metadata a odolnost vůči výpadku
No deck description has yet been added by the author.
4
cards
42 - Klasifikace a vlastnosti paralelních a distribuovaných architektur
No deck description has yet been added by the author.
8
cards
43 - Základní typy topologií paralelních a distribuovaných architektur a jejich vlastnosti
No deck description has yet been added by the author.
5
cards
44 - Distribuované a paralelní algoritmy - algoritmy řazení, select
No deck description has yet been added by the author.
13
cards
45 - Distribuované a paralelní algoritmy - algoritmy vyhledávání
No deck description has yet been added by the author.
4
cards
46 - Model PRAM, suma prefixů a její aplikace
No deck description has yet been added by the author.
6
cards
47 - Distribuované a paralelní algoritmy - algoritmy nad seznamy, stromy a grafy
No deck description has yet been added by the author.
8
cards
48 - fituska - Interakce mezi procesy a typické problémy paralelismu (synchronizační a komunikační mechanismy)
No deck description has yet been added by the author.
7
cards
49 - Distribuovaný broadcast, synchronizace v distribuovaných systémech
No deck description has yet been added by the author.
9
cards
50 - Moderní modely životního cyklu vývoje software
No deck description has yet been added by the author.
9
cards
51 - Modelovací techniky UML (charakteristika jazyka UML; rozšiřitelnost jazyka; charakteristika, základní prvky a použití diagramů UML)
No deck description has yet been added by the author.
5
cards
52 - Získávání a modelování požadavků
No deck description has yet been added by the author.
6
cards
53 - Logická architektura software (pojem logické architektury; vrstvena architektura; závislosti vrstev a balíčků; princip oddělení pohledu; vzor Model-View-Controller)
No deck description has yet been added by the author.
5
cards
54 - Objektově orientovaný návrh (podstata OO návrhu; vstupy a výstupy OO návrhu; návrh řízený zodpovědností; principy návrhu GRASP, principy SOLID)
No deck description has yet been added by the author.
7
cards
55 - Návrh řízený testem, refaktorizace, vlastnictví a správa zdrojového kódu v týmu
No deck description has yet been added by the author.
5
cards
56 - OLAP-určení, rozdíly oproti OLTP, datový model (datová kostka a operace, zobrazení kostky), datové sklady (struktura, komponenty)
No deck description has yet been added by the author.
11
cards
57 - Objektově-orientované databázové systémy - kolekce a struktura, objekt, dědičnost, vztahy
No deck description has yet been added by the author.
5
cards
58 - Workflow a jeho užití - business proces, WFM systém, referenční model, zdroj, aktivita, úloha, jazyky pro popis workflow
No deck description has yet been added by the author.
9
cards
59 - Hrozby, slabá místa, aktiva, škodlivý software (malware), funkce prosazující bezpečnost (řízení přístupu, autentizace, skryté kanály, audit, přenos dat)
No deck description has yet been added by the author.
5
cards
60 - Kritéria hodnocení bezpečnosti informačních systémů, historie, kritéria CC (Common Criteria), standardy pro management bezpečnosti
No deck description has yet been added by the author.
6
cards
61 - Analýza rizik bezpečnosti informačních systémů (vstupy, výstupy, jednotlivé generace)
No deck description has yet been added by the author.
4
cards
62 - Bezpečnost systémů a sítí
No deck description has yet been added by the author.
15
cards
63 - Bezpečnost bezdrátových sítí, útoky, způsoby kryptografického zabezpečení
No deck description has yet been added by the author.
5
cards
More about
statnice
- Class purpose General learning
Learn faster with Brainscape on your web, iPhone, or Android device. Study Martin Mikan's statnice flashcards now!
How studying works.
Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.
Add your own flashcards.
Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!
What's Brainscape anyway?
Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.
We use an adaptive study algorithm that is proven to help you learn faster and remember longer....
