Teoretická informatika
Garant: prof. RNDr. Jozef Gruska, DrSc.
Cílem oboru je připravit absolventy jednak pro vědecko-výzkumnou práci v informatice, resp. příbuzných oborech, a jednak dát solidní základy těm, kteří mají velmi ambiciozní cíle v informatice vůbec. Absolvent získá velmi široké teoretické základy pro doktorandské studium, ale i základní znalosti a praktické návyky potřebné pro uplatnění v široké praxi informatiky.
Požadavky
- Získat nejméně 120 kreditů za celou dobu studia.
- Absolvovat všechny povinné a vybrané povinně volitelné předměty oboru nejvyšší formou ukončení.
- Získat 20 kreditů za předmět SDIPR a obhájit diplomovou práci (viz pokyny).
Povinné a povinně volitelné předměty
- IA006 Vybrané kapitoly z teorie automatů (3+2 kr.)
- IA011 Sémantiky programovacích jazyků (3+2 kr.)
- IA101 Algoritmika pro těžké problémy (2+2 kr.)
- MA007 Matematická logika (3+2 kr.)
- MA009 Algebra II (2+2 kr.)
- alespoň 1 z:
- PA150 Principy operačních systémů (2+2 kr.)
- PA151 Soudobé počítačové sítě (2+2 kr.)
- PA152 Efektivní využívání databázových systémů (2+2 kr.)
- SDIPR Diplomová práce (20 kr.)
- SOBHA Obhajoba závěrečné práce (0 kr.)
- SZMGR Státní zkouška (magisterský studijní program) (0 kr.)
- IA012 Složitost (2+2 kr.)
- IV054 Kódování, kryptografie a kryptografické protokoly (5+2 kr.)
- nejméně 5 předmětů ze skupiny:
- MA015 Grafové algoritmy (3+2 kr.)
- MA051 Advanced Graph Theory: Topological (3+2 kr.)
- PřF:M7130 Geometrické algoritmy (2+2 kr.)
- PřF:M7190 Teorie her (3+2 kr.)
- PřF:M7250 Pologrupy a formální jazyky (2+2 kr.)
- PřF:M8170 Teorie kódování (3+2 kr.)
- PřF:M8190 Algoritmy teorie čísel (2+2 kr.)
- IA023 Petriho sítě (2+2 kr.)
- IA038 Typy a důkazy (3+2 kr.)
- IA040 Modální a temporální logiky procesů (2+2 kr.)
- IA041 Teorie a specifikace procesů (2+1 kr.)
- IA046 Vyčíslitelnost (2+2 kr.)
- IA058 Paralelní algoritmy a modely výpočtů (3+2 kr.)
- IA062 Randomized Algorithms and Computations (3+2 kr.)
- IA066 Úvod do kvantových algoritmov a počítačov (3+2 kr.)
- IA072 Seminar on Concurrency (2+1 kr.)
- IA075 Quantum seminar (2+1 kr.)
- IA077 Advanced Quantum Information Processing (2+2 kr.)
- IA082 Vybrané kapitoly z kvantové mechaniky (2+2 kr.)
- IA084 Hot Topics of Quantum Information Processing (3+1 kr.)
- IA102 Linear and Integer Optimization Tasks and their Solutions (3+2 kr.)
- IA159 Formal Verification Methods (2+2 kr.)
- IV111 Pravděpodobnost v informatice (4+2 kr.)
- PV021 Neuronové sítě (4+2 kr.)
- nejméně 4 předměty ze skupiny:
- IA039 Architektura superpočítačů a intenzivní výpočty (2+2 kr.)
- IV107 Bioinformatika I (2+2 kr.)
- PA010 Počítačová grafika (2+2 kr.)
- PA128 Similarity Searching in Multimedia Data (2+2 kr.)
- PA153 Počítačové zpracování přirozeného jazyka (2+2 kr.)
- PA159 Počítačové sítě a jejich aplikace I (2+2 kr.)
- PV019 Geografické informační systémy I (2+2 kr.)
- PV078 Grafický design I (2+1 kr.)
- PV079 Applied Cryptography (3+2 kr.)
- PV188 Principy zpracování a přenosu multimédií (2+2 kr.)
Doporučený průchod studiem
1. semestr
- MA007 Matematická logika (3+2 kr.)
- IA006 Vybrané kapitoly z teorie automatů (3+2 kr.)
- PA150 Principy operačních systémů (2+2 kr.)
2. semestr
- MA009 Algebra II (2+2 kr.)
- IA011 Sémantiky programovacích jazyků (3+2 kr.)
- PA151 Soudobé počítačové sítě (2+2 kr.)
- IA012 Složitost (2+2 kr.)
3. semestr
- MA010 Graph Theory (3+2 kr.)
- IA101 Algoritmika pro těžké problémy (2+2 kr.)
- IV054 Kódování, kryptografie a kryptografické protokoly (5+2 kr.)
- SDIPR Diplomová práce (10 kr.)