Historie: • in-gra • in-psk • in-emba • in-tei
Umístění: home » mgr-szz » in-tei

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ů
mgr-szz/in-tei.txt · Poslední úprava: autor: 127.0.0.1
Nahoru
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0