====== Inteligentní systémy ======
  - [[logika_jazyk]] (termy, formule, realizace jazyka, pravdivost formulí).
  - [[logika_system]] (axiomy a odvozovací pravidla, dokazatelnost, model a důsledek teorie, věty o úplnosti a kompaktnosti, prenexní tvar formulí).
  - [[algebra_struktury]] (grupy, okruhy, obory integrity a tělesa, svazy a Booleovy algebry, univerzální algebry).
  - [[algebra_metody]] (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normální podgrupy a ideály okruhů).
  - [[algebra_integrita]] (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy).
  - [[algebra_pole]] (minimální pole, rozšíření pole, konečná pole a jejich konstrukce).
  - [[algebra_metriky]] (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta o pevném bodu).
  - [[algebra_prostory]] (základní vlastnosti a příklady, normované prostory konečné dimenze, uzavřené ortonormální systémy a Fourierovy řady).
  - [[grafy_obycejne]] (stupně uzlů, cesty a kružnice, souvislost grafu, stromy, kostry, Kruskalův a Primův algoritmus pro hledání minimální kostry ohodnoceného grafu).
  - [[grafy_orientovane]] (orientované cesty a kružnice, souvislost a silná souvislost, turnaj, eulerovský graf, Dijkstrův a Floyd-Warshallův algoritmus pro hledání cesty minimální délky).
  - [[gramatiky]]
  - [[vlastnosti_jazyku]] (typické vlastnosti a jejich rozhodnutelnost).
  - [[konecne_automaty]] (jazyky přijímané jazyky KA, varianty KA, minimalizace KA). 
  - [[regularni_vyrazy]].
  - [[bezkontextove_gramatiky]]. 
  - [[zasobnikove_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).
  - [[parcialni_rekurzivni_funkce]].
  - [[casova_a_pametova_slozitost]] (třídy složitosti, úplnost, SAT problém).
  - [[metodika_navrhu_hw_sw_codesign]]
  - [[vypocetni_modely]] (StateCharts, codesign konečný automat, Kahnova síť procesů, synchronní dataflow).
  - Rozdělování úlohy na SW a HW část (alokace, přidělení, plánování).
  - [[jazyk_VHDL]] (entita, architektura, procesy).
  - Programovatelné logické obvody.
  - [[lambda | Lambda kalkul]] (definice všech pojmů, operací, ...).
  - [[lambda2 | Práce v lambda kalkulu]] (reprezentace čísel a pravdivostních hodnot a operací nad nimi).
  - [[haskell_typy_monady_io | Haskell]] - typové třídy (definice, význam), vstup/výstup, paralelizace.
  - [[prolog | Prolog]] (základní princip, unifikace, operátor řezu, změna DB/programu za běhu).
  - Klasifikace a vlastnosti paralelních a distribuovaných architektur.
  - Základní typy topologií paralelních a distribuovaných architektur a jejich vlastnosti.
  - Distribuované a paralelní algoritmy. 
  - Model PRAM, suma prefixů a její aplikace.
  - Interakce mezi procesy a typické problémy paralelismu (synchronizční a komunikační mechanismy).
  - [[neural_multilayer | Vícevrstvé dopředné neuronové sítě]] (učení - princip algoritmu zpětného šíření chyby, odezva, možné aplikace).
  - [[neural_singlelayer | Jednovrstvé neuronové sítě]] (Hopfieldova, Kohonenova – učení, odezva, možné aplikace).
  - Fuzzy řízení (fuzzyfikace, inference, defuzzyfikace).
  - Genetický algoritmus (ohodnocení jedinců, výběr rodičů, rekombinace, mutace, tvorba nové populace).
  - [[bayes_nets | Bayesovské sítě]] (exaktní inference, přibližná inference).
  - [[rough_sets | Hrubé množiny]] (spodní a horní aproximace, pozitivní, negativní a hraniční oblast, možné využití pro dolování znalostí).
  - Základní pojmy v agentních systémech (agentní systém, reaktivní a proaktivní agentni, agenti řízení záměrem).
  - Modelování reaktivních agentů (čistě reaktivní agenti, situovaný automat, sumbsumpční architektura).
  - Programování BDI agentů (proces rozhodování BDI agenta, jazyk JASON - deklarace představ, cílů a plánů).
  - Komunikace v multiagentních systémech (jazyk ACL, protokol kontraktní sítě).
  - Základy argumentace (argumentační systém,  vyvrácení a zpochybnění argumentů,  přípustné argumenty).
  - Abstraktní agentní architektura podle specifikací FIPA.
  - Teorie modelování a simulace, formalismus DEVS (atomický DEVS, DEVN).
  - [[modely_diskretni | Modelování diskrétních systémů]] (procesy, události, celulární automaty).
  - [[modely_spojite | Modelování spojitých systémů]] (bloková schémata, rovnice, numerické metody a  jejich vlastnosti).
  - [[modely_kombinovane | Modelování kombinovaných systémů]] (stavové podmínky a stavové události).
  - [[rizeni_simulace | Algoritmy pro řízení simulace]] (diskrétní: "next-event", "activity scanning"; spojitá a kombinovaná simulace).
  - Bezdrátový přenos dat, kmitočty a plánování, antény, šíření signálu.
  - Systémy mobilní komunikace - GSM, GPRS, HSCSD, EDGE, UMTS, DECT.
  - Satelitní komunikační systémy.
  - [[wifi | Bezdrátové lokální sítě (Wifi, Bluetooth)]].
  - Lokalizační systémy GPS.
  - Předzpracování dat v procesu získávání znalostí (popisné  charakteristiky dat; metody čištění; normalizace a redukce dat).
  - Dolování asociačních pravidel (Pojmy frekventovaná množina; asociační pravidlo; podpora; spolehlivost; algoritmy pro dolování asociačních pravidel).
  - Dolování textu (základní charakteristika, předzpracování textových dokumentů a jejich reprezentace; vyhledávání informací).
  - Klasifikace a predikce (princip a fáze klasifikace; rozdíl mezi klasifikací  a predikcí; princip klasifikace rozhodovacím stromem, bayesovské naivní klasifikace, klasifikace neuronovou sítí, lineární regrese, nelineární regrese).
  - Shluková analýza (Princip shlukové analýzy; vzdálenostní funkce; princip rozdělujících metod k-means a k-medoids, princip hierarchických metod; princip metod založených na hustotě a na mřížce).
  - Klasifikace Petriho sítí.
  - [[petri_analysis | Metody analýzy C/E a P/T Petriho sítí]]
  - Podtřídy a rozšíření Petriho sítí.
  - [[petri_coloured | Barvené a hierarchické Petriho sítě]].