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