FI KVM Kvantové a jiné neklasické výpočetní modely
Název anglicky: Quantum and Other Nonclassical Computational Models
navazující prezenční se specializací, vyučovací jazyk: čeština
Zahrnut v programu: FI N-TEI Teoretická informatika
navazující prezenční se specializací, vyučovací jazyk: čeština
Zahrnut v programu: FI N-TEI Teoretická informatika
Informace o studiu
- Součásti SZZ a jejich obsahStátní závěrečná zkouška sestává ze dvou odděleně klasifikovaných součástí: obhajoby diplomové práce a
odborné závěrečné zkoušky. Celá státní zkouška trvá zhruba jednu hodinu (přibližně 30 minut obhajoba, 30 minut zkoušení). Na prezentaci diplomové práce má student 15 minut, dalších 15 minut je věnováno rozboru posudků a diskuzi. V následující ústní závěrečné zkoušce student odpovídá bez přípravy na položené otázky, typicky jde o rozpravu v rozsahu dvou až tří otázek, přičemž minimálně jedna otázka je mu kladena z okruhu společného základu navazujícího studijního programu a minimálně jedna otázka ze studentem vybrané specializace.
Pro úspěšné složení závěrečné zkoušky musí student být schopen vysvětlit základní pojmy s nimiž se seznámil v profilujících předmětech programu, musí demonstrovat schopnost použití základních technik, metod a pojmů vysvětlených v profilujících předmětech programu a musí být schopen reagovat na relevantní doplňující otázky, případně, vybrané téma rozvinout do hloubky. Pokud student není schopen dostát některému z těchto požadavků, je hodnocem stupněm nevyhovující.
Podmínkou přístupu k závěrečné zkoušce je odevzdání diplomové práce. V případě negativních posudků na diplomovou práci se student může vzdát obhajoby, akceptovat hodnocení „nevyhověl“ a přejít rovnou ke zkoušení. V případě neúspěšné obhajoby není možné odstoupit od zkoušení. - Návrh témat kvalifikačních prací a témata obhájených pracíPříklady obhájených závěrečných prací:
1) Zrychlení syntézy parametrů pro stochastické modely: https://is.muni.cz/auth/th/374381/fi_m/
2) Složitost řešení patrolovacích her na orientovaných grafech: https://is.muni.cz/auth/th/359420/fi_m/
3) Symbolic Loop Bound Analysis: https://is.muni.cz/auth/th/359561/fi_m/
4) Slicing of LLVM Bitcode: https://is.muni.cz/auth/th/396236/fi_m/
5) An Executable Formal Semantics of Agda: https://is.muni.cz/auth/th/373877/fi_m/
Doporučený průchod studijním plánem
Povinné předměty studijního programu (fgmbewoo)
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:IA006 | Vybrané kapitoly z teorie automatů | zk | 3+2 | 1 | Z |
5 kreditů |
Logika a odvozování
Absolvovat alespoň 1 předmět z následujícího seznamu.
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:IA011 | Sémantiky programovacích jazyků | zk | 3+2 | 4 | Z |
FI:IA012 | Složitost | zk | 3+2 | 3 | Z |
FI:IV003 | Algorithms and Data Structures II | zk | 3+2 | 2 | Z |
FI:IV111 | Probability in Computer Science | zk | 3+2 | 1 | P |
FI:MA007 | Matematická logika | zk | 4+2 | 1 | Z |
FI:PV027 | Optimization | zk | 4+2 | 2 | - |
FI:SOBHA | Obhajoba závěrečné práce | SZk | - | 4 | - |
FI:SZMGR | Státní zkouška (magisterský studijní program) | SZk | - | 4 | - |
32 kreditů |
Diplomová práce
Povinnost získat 20 kreditů z předmětu SDIPR.
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:SDIPR | Diplomová práce | z | 20 | 4 | - |
20 kreditů |
Povinné předměty specializace
Kód | Název | Ukončení | Kreditů | Semestr | Profilace |
FI:IV100 | Paralelní a distribuované výpočty | zk | 2+2 | 1 | Z |
FI:IA062 | Randomized Algorithms and Computations | zk | 3+2 | 2 | Z |
FI:IA066 | Introduction to Quantum Computing | zk | 3+2 | 1 | Z |
FI:IA082 | Fyzikální koncepty kvantového zpracování informace | zk | 2+2 | 2 | Z |
FI:IA101 | Algoritmika pro těžké problémy | zk | 2+2 | 3 | Z |
FI:IA174 | Fundaments of Cryptography | zk | 3+2 | 3 | P |
FI:PV056 | Machine Learning and Data Mining | zk | 3+2 | 4 | - |
FI:PV021 | Neural Networks | zk | 4+2 | 3 | - |
38 kreditů |
Volitelné kredity
Absolvovat další předměty tak, aby celkový zisk kreditů byl minimálně 120 kreditů za celé studium tohoto studijního programu.