Inteligentní systémy

  1. Jazyk a sémantika predikátové logiky (termy, formule, realizace jazyka, pravdivost formulí).
  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í).
  3. Algebraické struktury (grupy, okruhy, obory integrity a tělesa, svazy a Booleovy algebry, univerzální algebry).
  4. Základní algebraické metody (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normální podgrupy a ideály okruhů).
  5. Obory integrity a dělitelnost (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy).
  6. Teorie polí (minimální pole, rozšíření pole, konečná pole a jejich konstrukce).
  7. Metrické prostory (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta o pevném bodu).
  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).
  9. Obyčejné grafy (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).
  10. Orientované grafy (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).
  11. Klasifikace gramatik, formálních jazyků a automatů přijímajících jazyky
  12. Vlastnosti formálních jazyků (typické vlastnosti a jejich rozhodnutelnost).
  13. Konečné automaty (jazyky přijímané jazyky KA, varianty KA, minimalizace KA).
  14. Regulární množiny, regulární výrazy a rovnice nad regulárními výrazy.
  15. Transformace a normální formy bezkontextových gramatik.
  16. Zásobníkové automaty (jazyky přijímané ZA, varianty ZA).
  17. Turingovy stroje (jazyky přijímané TS, varianty TS, lineárně omezené automaty, univerzální TS).
  18. Nerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce, Postův korespondenční problém).
  19. Parciální rekurzivní funkce.
  20. Časová a paměťová složitost (třídy složitosti, úplnost, SAT problém).
  21. Metodika návrhu HW/SW codesign
  22. Výpočetní modely (StateCharts, codesign konečný automat, Kahnova síť procesů, synchronní dataflow).
  23. Rozdělování úlohy na SW a HW část (alokace, přidělení, plánování).
  24. Jazyk VHDL (entita, architektura, procesy).
  25. Programovatelné logické obvody.
  26. Lambda kalkul (definice všech pojmů, operací, …).
  27. Práce v lambda kalkulu (reprezentace čísel a pravdivostních hodnot a operací nad nimi).
  28. Haskell - typové třídy (definice, význam), vstup/výstup, paralelizace.
  29. Prolog (základní princip, unifikace, operátor řezu, změna DB/programu za běhu).
  30. Klasifikace a vlastnosti paralelních a distribuovaných architektur.
  31. Základní typy topologií paralelních a distribuovaných architektur a jejich vlastnosti.
  32. Distribuované a paralelní algoritmy.
  33. Model PRAM, suma prefixů a její aplikace.
  34. Interakce mezi procesy a typické problémy paralelismu (synchronizční a komunikační mechanismy).
  35. Vícevrstvé dopředné neuronové sítě (učení - princip algoritmu zpětného šíření chyby, odezva, možné aplikace).
  36. Jednovrstvé neuronové sítě (Hopfieldova, Kohonenova – učení, odezva, možné aplikace).
  37. Fuzzy řízení (fuzzyfikace, inference, defuzzyfikace).
  38. Genetický algoritmus (ohodnocení jedinců, výběr rodičů, rekombinace, mutace, tvorba nové populace).
  39. Bayesovské sítě (exaktní inference, přibližná inference).
  40. Hrubé množiny (spodní a horní aproximace, pozitivní, negativní a hraniční oblast, možné využití pro dolování znalostí).
  41. Základní pojmy v agentních systémech (agentní systém, reaktivní a proaktivní agentni, agenti řízení záměrem).
  42. Modelování reaktivních agentů (čistě reaktivní agenti, situovaný automat, sumbsumpční architektura).
  43. Programování BDI agentů (proces rozhodování BDI agenta, jazyk JASON - deklarace představ, cílů a plánů).
  44. Komunikace v multiagentních systémech (jazyk ACL, protokol kontraktní sítě).
  45. Základy argumentace (argumentační systém, vyvrácení a zpochybnění argumentů, přípustné argumenty).
  46. Abstraktní agentní architektura podle specifikací FIPA.
  47. Teorie modelování a simulace, formalismus DEVS (atomický DEVS, DEVN).
  48. Modelování diskrétních systémů (procesy, události, celulární automaty).
  49. Modelování spojitých systémů (bloková schémata, rovnice, numerické metody a jejich vlastnosti).
  50. Modelování kombinovaných systémů (stavové podmínky a stavové události).
  51. Algoritmy pro řízení simulace (diskrétní: „next-event“, „activity scanning“; spojitá a kombinovaná simulace).
  52. Bezdrátový přenos dat, kmitočty a plánování, antény, šíření signálu.
  53. Systémy mobilní komunikace - GSM, GPRS, HSCSD, EDGE, UMTS, DECT.
  54. Satelitní komunikační systémy.
  55. Bezdrátové lokální sítě (Wifi, Bluetooth).
  56. Lokalizační systémy GPS.
  57. Předzpracování dat v procesu získávání znalostí (popisné charakteristiky dat; metody čištění; normalizace a redukce dat).
  58. Dolování asociačních pravidel (Pojmy frekventovaná množina; asociační pravidlo; podpora; spolehlivost; algoritmy pro dolování asociačních pravidel).
  59. Dolování textu (základní charakteristika, předzpracování textových dokumentů a jejich reprezentace; vyhledávání informací).
  60. 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).
  61. 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).
  62. Klasifikace Petriho sítí.
  63. Metody analýzy C/E a P/T Petriho sítí
  64. Podtřídy a rozšíření Petriho sítí.
  65. Barvené a hierarchické Petriho sítě.