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í)
Axiomy vyrokove logiky,
Modus ponens,
Postova veta o uplnosti
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í)
Axiomy predikatove logiky,
Axiom kvantifikatoru,
Axiom substituce
9
cards
3 - Algebraické struktury (grupy, okruhy, obory integrity a tělesa, svazy a Boolovy algebry, univerzální algebry)
Algebraicke struktury,
Typy operaci,
Univerzalni algebra
8
cards
4 - Základní algebraické metody (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normální podgrupy a ideály okruhů)
Podalgebra,
Rozklad na tridy ekvivalence,
Ekvivalence prvku a faktorova mno...
10
cards
5 - Obory integrity a dělitelnost (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy)
Obor integrity,
Okruhy polynomu,
Delitelnost
9
cards
6 - Teorie polí (minimální pole, rozšíření pole, konečná pole a jejich konstrukce)
Pole,
Podpoleminimalni polerozsireni pole,
Konecne pole galoisovo pole gf p ...
4
cards
7 - Metrické prostory (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta o pevném bodu).
Metricky prostor,
Axiomy metrickeho prostoru,
Priklady metrickych prostoru
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)
Linearni vektrovy prostor linearn...,
Normovany linearni prostor,
Vlastnosti normovaneho linearniho...
6
cards
9 - Obyčejné grafy
Definice grafu obycejneho grafu o...,
Pocet hran grafu ohodnoceny graf ...,
Podgrafy sled tah cesta kruznice ...
8
cards
10 - Orientované grafy
Orientovany a obecny orientovany ...,
Pocet hran ohodnoceny graf a turnaj,
Stupne uzlu a eulerovsky graf
6
cards
11 - Postrelační SŘBD (definice, vymezení problematiky a specifik pro O-R, prostorové, temporální, XML a deduktivní DB)
Srbd,
Relacni databaze definice relacni...,
Normalni formy
11
cards
14 - Objektově-relační databáze (charakteristika, porovnání s relačními, podpora v SQL:1999 a SQL:2003)
Vlastnosti nevyhody model dat a j...,
Objektove databaze,
Objektove relacni db
5
cards
15 - XML databáze
Xml databaze,
Sql podpora pro xml v sql 2003,
Podpora xml u serveru oracle 10g ...
7
cards
12 - Metody indexování bodových a plošných útvarů - typicky obalujících hyperobdélníků - v prostorových DB
Index v prostorovych db,
Metody indexace v 1d nd,
Metody indexace stromy k d strom
13
cards
13 - Temporální DB (modely času, generičnost dotazu a shlukování, [integritní] omezení v historii)
Zakladni pojmy relacni databaze r...,
Temporalni databaze,
Cas a casova domena
14
cards
16 - Klasifikace gramatik, formálních jazyků a automatů přijímajících jazyky
Zakladni pojmy,
Gramatika,
Gramatika prepisovaci pravidla de...
5
cards
17 - Vlastnosti formálních jazyků (typické vlastnosti a jejich rozhodnutelnost)
Uzavrenost vuci operacim zakladni...,
Uzavrenost vuci operacim zakladni...,
Uzavrenosti jazyku vuci operacim
10
cards
18 - Konečné automaty (jazyky přijímané jazyky KA, varianty KA, minimalizace KA, Mihill-Nerodova věta))
Definice nedeterministickeho ka,
Zakladni pojmy ka konfigurace pre...,
Varianty konecnych automatu rozsi...
7
cards
19 - Regulární množiny, regulární výrazy a rovnice nad regulárními výrazy
Zpusoby prezentace regularnich ja...,
Regularni mnoziny,
Regularni vyrazy rv
6
cards
20 - Transformace a normální formy bezkontextových gramatik
Gramatika derivace derivacni stro...,
Zakladni pojy pravidla zbytecne s...,
Transformace gramatik odstraneni ...
9
cards
21 - Zásobníkové automaty (jazyky přijímané ZA, varianty ZA)
Zasobnikovy automat,
Konfigurace za pocatecni koncova ...,
Typy prijeti jazyka v za
6
cards
22 - Turingovy stroje (jazyky přijímané TS, varianty TS, lineárně omezené automaty, univerzální TS)
Formalni definice ts,
Ts funkce konfigurace vypocet a p...,
Jazyky prijimane ts
8
cards
23 - Nerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém)
Zakladni pojmy jazyky mimo tridu 0,
Zakladni pojmy diagonalizace,
Rozhodovaci problemy ts co rozhod...
7
cards
24 - Parciální rekurzivní funkce, časová a paměťová složitost (třídy složitosti, úplnost, SAT problém)
Hierarchie funkci,
Funkce definice funkce totalni pa...,
Pocatecni funkce
12
cards
25 - Petriho sítě (motivace, definice P/T Petriho sítě, metody analýzy, třídy Petriho sítí
Definice site,
P t petriho sit,
Analyza petriho siti
6
cards
26 - Lambda kalkul (definice všech pojmů, operací...)
Co je to lambda kalkul,
Zakladni prehled lambda kalkul,
3 typy vyrazu kalkul
10
cards
27 - Haskell - lazy evaluation (typy v jazyce včetně akcí, význam typových tříd, demonstrace lazy evaluation)
Co je to haskell,
Datove typy,
Haskell typovani
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í)
Hornovy klauzule,
Vyhodnocovani odvozovani dokazova...,
Co je to prolog
11
cards
29 - Management času a nákladů v rámci projektů
Procesy managementu casu,
Procesy managementu nakladu,
Metody kriticka cesta cpm critica...
6
cards
30 - Management rizik v rámci projektů
Co je to risk management a identi...,
Pojmy spojene s riziky,
Procesy managementu rizik
9
cards
31 - Management kvality v rámci projektu (procesy, metody, Paretova analýza, diagram příčin a účinků, kvalitativní charakteristiky softwarových produktů)
Co to je rizeni kvality,
Procesy v managementu kvality,
Nastroje a techniky pro planovani...
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ě
Obecna architektura prepinace,
Pozadavky na prepinace a problemy...,
Metriky pro mereni cinnosti prepi...
15
cards
33 - Základní funkce směrovače, zpracování paketů ve směrovači, typy architektur
Co je to smerovac a zakladni funkce,
Typy smerovacu,
Funkcni casti smerovace
11
cards
34 - Základní principy softwarově definovaných sítí SDN, architektura, technologie OpenFlow
Problemy tradicnich siti,
Pozadavky na vhodnou architekturu,
Vhodne architektury sdn
5
cards
35 - Procesy a vlákna POSIX
Zakladni definice procesy paralel...,
Zakladni definice vlakna,
Implementace vlaken
8
cards
36 - Semafory, vlastnosti a typické použití (binární, obecné)
Semafor obecne,
Binarni semafor,
Obecny semafor
5
cards
37 - Monitory, vlastnosti, typy a použití v praxi (POSIX vlákna)
Co je to monitor,
Typy odblokovani monitoru,
Podminene promenne
4
cards
38 - Uváznutí při přidělování prostředků, detekce a řešení
Pridelovani prostredu uvaznuti a ...,
Stav systemu,
Sr serially reusable prostredky
7
cards
39 - Virtualizace paměti, stránkovací a nahrazovací algoritmy
Organizace pameti fap lap a virtu...,
Typy organizace pameti,
Organizace pameti mapovani lap na...
6
cards
40 - Systémy souborů, přidělování a evidence diskového prostoru
Zakladni pojmy soubor fyzicka a l...,
Struktury souboru logicka a vnitr...,
Alokace alokacnich bloku
5
cards
41 - Systémy souborů, metadata a odolnost vůči výpadku
Metadata organizace souboru a zak...,
Operace se soubory zpristupneni s...,
Operace se soubory zpristupneni s...
4
cards
42 - Klasifikace a vlastnosti paralelních a distribuovaných architektur
Prehled paralelnich architektur f...,
Sisd single instruction single da...,
Simd single instruction multiple ...
8
cards
43 - Základní typy topologií paralelních a distribuovaných architektur a jejich vlastnosti
Komunikace mezi procesory,
Sdilena pamet a predavani zprav u...,
Topologie a propojovaci site
5
cards
44 - Distribuované a paralelní algoritmy - algoritmy řazení, select
Analyza algoritmu cena efektivnost,
Razeni enumeration sort mrizka,
Razeni odd even transposition sor...
13
cards
45 - Distribuované a paralelní algoritmy - algoritmy vyhledávání
Optimalni algo,
N ary search serazena posloupnost,
N ary search neserazena posloupno...
4
cards
46 - Model PRAM, suma prefixů a její aplikace
Co je to pram,
Architektury pristupu k pameti a ...,
Broadcast
6
cards
47 - Distribuované a paralelní algoritmy - algoritmy nad seznamy, stromy a grafy
Algoritmy nad seznamy,
Seznamy predecessor computing,
Seznamy list ranking a parallel s...
8
cards
48 - fituska - Interakce mezi procesy a typické problémy paralelismu (synchronizační a komunikační mechanismy)
Zakladni pojmy,
Vzajemne vylouceni hw sw,
Softwarove vylouceni bez podpory ...
7
cards
49 - Distribuovaný broadcast, synchronizace v distribuovaných systémech
Distribuovany broadcast,
3 hlavni vlastnosti broadcastu sp...,
Dalsi vlastnosti broadcastu a kla...
9
cards
50 - Moderní modely životního cyklu vývoje software
Zakladni pojmy,
Faze zivotniho cyklu vyvoje sw,
Modely zivotniho cyklu sw vodopad...
9
cards
51 - Modelovací techniky UML (charakteristika jazyka UML; rozšiřitelnost jazyka; charakteristika, základní prvky a použití diagramů UML)
Charakteristika jazyka uml,
Struktura jazyka uml,
Struktura jazyka uml obecne mecha...
5
cards
52 - Získávání a modelování požadavků
Ziskavani pozadavku a furps model...,
Furps,
Techniky ziskavani pozadavku trad...
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)
Softwarova architektura,
Vrstvena architektura,
Zavislosti vrstev balicku a trid
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)
Funkcionalni vs objektove paradigma,
Oo navrh podstata vstupy vystupy,
Navrh rizeny zodpovednosti respon...
7
cards
55 - Návrh řízený testem, refaktorizace, vlastnictví a správa zdrojového kódu v týmu
Software design and development,
Podstata vyvoje rizeneho testem tdd,
Co je to refaktorizace a hlavni cile
5
cards
56 - OLAP-určení, rozdíly oproti OLTP, datový model (datová kostka a operace, zobrazení kostky), datové sklady (struktura, komponenty)
Zakladni pojmy big data databazov...,
Oltp,
Olap
11
cards
57 - Objektově-orientované databázové systémy - kolekce a struktura, objekt, dědičnost, vztahy
Objektove orientovane databazove ...,
Objektove orientovane databazove ...,
Vztahy
5
cards
58 - Workflow a jeho užití - business proces, WFM systém, referenční model, zdroj, aktivita, úloha, jazyky pro popis workflow
Vznik workflow casova osa a funkc...,
Workflow business process workflo...,
Systemy pro rizeni business proce...
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)
Pocitacova bezpecnost,
Pojmy pocitacove bezpecnosti,
Malware a honey pot
5
cards
60 - Kritéria hodnocení bezpečnosti informačních systémů, historie, kritéria CC (Common Criteria), standardy pro management bezpečnosti
Kriteria hodnoceni bezpecnosti is,
Orange book tcsec trusted compute...,
Itsec itsem information technolog...
6
cards
61 - Analýza rizik bezpečnosti informačních systémů (vstupy, výstupy, jednotlivé generace)
Cile analyzy rizik,
Proces analyzy rizik,
Ocekavana rocni ztrata annual los...
4
cards
62 - Bezpečnost systémů a sítí
Zaklady bezpecnosti,
Typy hackeru a faze hackovani,
Typy testovani
15
cards
63 - Bezpečnost bezdrátových sítí, útoky, způsoby kryptografického zabezpečení
Hrozby utoky,
Zabezpeceni wifi,
Wep
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....
