Studijní katalog FI MU 2023/2024

Zpět na úvodní stránku

Teoretická informatika

navazující magisterský program (český) se specializacemi

Studium teoretické informatiky je zaměřeno na hlubší pochopení základních principů, ze kterých vycházejí soudobé informační technologie, včetně neklasických výpočetních systémů jako jsou neuronové sítě nebo kvantové počítače. Mimo aktivního osvojení poznatků teoretické i technické povahy je kladen zvláštní důraz na rozvoj abstraktního myšlení. Studenti si osvojí pokročilé algoritmické postupy, získají vhled do principů moderních programovacích jazyků, seznámí se s metodami pro analýzu, testování a verifikaci kódu, a porozumí možnostem a omezením nastupujících výpočetních zařízení, která fungují na odlišných principech, než klasické počítače. Získané poznatky a dovednosti připraví studenty k expertní analytické práci, která může zahrnovat i samostatný výzkum.

Absolvent programu je připraven k práci ve společnostech zaměřených na návrh a vývoj softwarových systémů, zejména na pozicích analytika, softwarového architekta, nebo verifikátora. Uplatnění nalezne rovněž ve společnostech poskytujících konzultace a poradenství v oblasti informatiky. Solidní matematické základy společně se znalostí netriviálních algoritmických postupů jsou dobrým předpokladem i pro práci ve finančním sektoru. Získané vědomosti a dovednosti může absolvent velmi dobře zužitkovat rovněž v navazujícím doktorském studiu.

Požadavky na úspěšné absolvování programu

Povinné předměty programu

IA006 Vybrané kapitoly z teorie automatů
Logika a odvozování Absolvovat alespoň 1 předmět z následujícího seznamu
IA008 Computational Logic
IA085 Satisfiability and Automated Reasoning
IA011 Sémantiky programovacích jazyků
IA012 Složitost
IV003 Algorithms and Data Structures II
IV111 Probability in Computer Science
MA007 Matematická logika
PV027 Optimization
SOBHA Obhajoba závěrečné práce
SZMGR Státní zkouška (magisterský studijní program)

Specializace: Diskrétní algoritmy a modely

Studenti specializace Diskrétní algoritmy a modely získají pokročilé znalosti v širokém spektru oblastí teoretické informatiky a souvisejících oblastech matematiky. Absolventi specializace budou umět řešit velmi náročné úlohy z vybraných oblastí teoretické informatiky a budou mít základní zkušenost s vědeckou prací podobnou doktorskému studiu.

Povinné předměty specializace

IA101 Algoritmika pro těžké problémy
IA168 Algorithmic game theory
MA010 Graph Theory
MA015 Graph Algorithms
Pokročilá matematika a algoritmy Absolvovat alespoň 3 předměty z následujícího seznamu
MA017 Geometric Algorithms
PV021 Neural Networks
IA174 Fundaments of Cryptography
IA062 Randomized Algorithms and Computations
PřF:M8190 Algoritmy teorie čísel
MA009 Algebra II
MA026 Advanced Combinatorics
Volba Semináře Získat alespoň 2 kredity absolvováním předmětů z následujícího seznamu
IA072 Seminar on Verification
IV115 Seminář laboratoře paralelních a distribuovaných systémů
IV131 Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
IV125 Seminář laboratoře Formela

Doporučený průchod studiem

Podzim 2023 (1. semestr)
Jaro 2024 (2. semestr)
Podzim 2024 (3. semestr)
Jaro 2025 (4. semestr)

Specializace: Kvantové a jiné neklasické výpočetní modely

Specializace Kvantové a jiné neklasické výpočetní modely seznámí studenty s metodami řešení problemů, které jsou na klasických počítačích výpočetně náročné. Absolventi se rovněž obeznámí s principy, výhodami a omezeními neklasických výpočetních systémů, jako jsou neuronové sítě nebo kvantové počítače.

Povinné předměty specializace

IV100 Paralelní a distribuované výpočty
IA062 Randomized Algorithms and Computations
IA066 Introduction to Quantum Computing
IA082 Fyzikální koncepty kvantového zpracování informace
IA101 Algoritmika pro těžké problémy
IA174 Fundaments of Cryptography
PV056 Machine Learning and Data Mining
PV021 Neural Networks

Doporučený průchod studiem

Podzim 2023 (1. semestr)
Jaro 2024 (2. semestr)
Podzim 2024 (3. semestr)
Jaro 2025 (4. semestr)

Specializace: Formální analýza počítačových systémů

Specializace Formální analýza počítačových systémů je zaměřena na formální metody pro modelování, analýzu, testování a verifikaci počítačových programů, které jsou klíčovou součástí vývoje moderních softwarových systémů. Studenti získají potřebný teoretický základ v oblasti formálních metod, hlubší vhled do principů moderních verifikačních nástrojů a soubor prakticky orientovaných dovedností využitelných při působení v týmech zodpovědných za zajištění kvality softwarových produktů.

Povinné předměty specializace

IA023 Petriho sítě
IA085 Satisfiability and Automated Reasoning
IA159 Formal Methods for Software Analysis
IA168 Algorithmic game theory
IA169 Model Checking
IA175 Algorithms for Quantitative Verification
IV120 Spojité a hybridní systémy
Volba Semináře Získat alespoň 4 kredity absolvováním předmětů z následujícího seznamu
IA072 Seminar on Verification
IV115 Seminář laboratoře paralelních a distribuovaných systémů
IV131 Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
IV125 Seminář laboratoře Formela

Doporučený průchod studiem

Podzim 2023 (1. semestr)
Jaro 2024 (2. semestr)
Podzim 2024 (3. semestr)
Jaro 2025 (4. semestr)

Specializace: Principy programovacích jazyků

Specializace Principy programovacích jazyků poskytuje hlubší vhled do paradigmat moderních programovacích jazyků a struktury jejich překladačů. Absolventi umí zvolit optimální programovací prostředky pro daný typ aplikace a dokáží si rychle osvojit nové programovací jazyky.

Povinné předměty specializace

IA010 Principles of Programming Languages
IA014 Advanced Functional Programming
Pokročilé typování Absolvovat alespoň 1 předmět z následujícího seznamu
IA038 Typy a důkazy
IA081 Lambda calculus
IA158 Real Time Systems
IA174 Fundaments of Cryptography
IV010 Komunikace a paralelismus
PA008 Překladače
PA037 Projekt z překladačů

Doporučený průchod studiem

Podzim 2023 (1. semestr)
Jaro 2024 (2. semestr)
Podzim 2024 (3. semestr)
Jaro 2025 (4. semestr)