Státní magisterská zkouška v programu Informatika, obor Teoretická informatika (N-IN TEI)

  1. Moderní metody řešení výpočtově velmi těžkých problémů
  2. Třídy výpočtové složitosti a vztahy mezi nimi
  3. Kryptografická primitiva a protokoly pro bezpečnost, důvěrnost, podpisy, autentizaci a anonymitu
  4. Metody tvorby náhodnostních algoritmů a jejich ilustrace na příkladech
  5. Základní grafové algoritmické problémy a jejich složitost
  6. Základní geometrické algoritmy a jejich analýza
  7. Základní algoritmy teorie čísel a jejich aplikace
  8. Modely paralelních počítačů a komunikačních sítí a principy tvorby paralelních algoritmů
  9. Hlavní typy samoopravných kódů a jejich vlastnosti
  10. Základní typy důkazů
  11. Základní metody tvorby kvantových algoritmů a kvantové automaty, resp. kvantová teorie informace
  12. Analýza metod tvorby sémantiky programovacích jazyků
  13. Vlastnosti různých Petriho sítí
  14. Modální a temporální logiky a jejich použití
  15. Současné metody specifikace a analýzy souběžných procesů
  16. Hlavní metody formální verifikace softwarových systémů