Paralelní a distribuované systémy
Garant: prof. RNDr. Mojmír Křetínský, CSc.
Obor poskytuje specifické znalosti pro práci s paralelními a distribuovanými systémy s přesahem do dalších oblastí včetně počítačových sítí, kryptografie, bezpečnosti apod. Velká pozornost je věnována formálním metodám pro modelování, analýzu a verifikaci paralelních a distribuovaných systémů. Obor klade důraz na vyváženost předmětů poskytujících potřebný teoretický základ a předmětů orientovaných na získání praktických dovedností. Doporučenou součástí studia je i práce na projektu zpravidla orientovaném na experimentální a prototypová řešení zajímavých problémů.
Požadavky
- Získat nejméně 120 kreditů za celou dobu studia a složit státní zkoušku.
- 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é předměty
- IA006 Vybrané kapitoly z teorie automatů (3+2 kr.)
- IA012 Složitost (2+2 kr.)
- IA023 Petriho sítě (2+2 kr.)
- IA158 Real Time Systems (2+2 kr.)
- IA159 Formal Verification Methods (2+2 kr.)
- MA007 Matematická logika (3+2 kr.)
- PA039 Architektura superpočítačů a intenzivní výpočty (2+2 kr.)
- PA053 Distribuované systémy a middleware (2+2 kr.)
- PA150 Principy operačních systémů (2+2 kr.)
Povinně volitelné předměty
- alespoň 1 z:
- alespoň 1 z:
- alespoň 1 z:
- alespoň 1 z:
- alespoň 1 z:
- alespoň 4 z:
- IA041 Teorie a specifikace procesů (2+1 kr.)
- IA101 Algoritmika pro těžké problémy (2+2 kr.)
- IA160 Stochastické systémy (2+2 kr.)
- IA168 Algorithmic game theory (2+2 kr.)
- IA170 Randomness and Communication (3+2 kr.)
- IV054 Coding, Cryptography and Cryptographic Protocols (5+2 kr.)
- IV111 Probability in Computer Science (4+2 kr.)
- IV112 Projekt z programování paralelních aplikací (5 kr.)
- MV011 Statistika I (4+2 kr.)
- PA037 Projekt z překladačů (2 kr.)
- PA152 Efektivní využívání databázových systémů (2+2 kr.)
- PV065 UNIX -- programování a správa systému I (2+1 kr.)
- PV077 UNIX -- programování a správa systému II (2+1 kr.)
- PV192 Paralelní technické systémy (4+2 kr.)
- PV200 Introduction to hardware description languages (3+1 kr.)
Doporučení
U studentů oboru se předpokládají znalosti na úrovni stejnojmenného bakalářského oboru. Pokud toto není splněno, je doporučeno si v 1. roce studia chybějící znalosti doplnit zapsáním klíčových bakalářských předmětů, konkrétně pak předmět IV100, jehož obsah se vyskytuje i u SZZ.
Typická altenativní volba v doporučeném průchodu spočívá ve výběru MA009 ve 2. semestru namísto MA002 v 1. semestru, doplněná výběrem IA040 v 1.semestru namísto IA011 ve 2.semestru.
Doporučený průchod studiem
1. semestr
- IA006 Vybrané kapitoly z teorie automatů (3+2 kr.)
- IV111 Probability in Computer Science (4+2 kr.)
- IV112 Projekt z programování paralelních aplikací (5 kr.)
- MA002 Matematická analýza (4+2 kr.)
- MA010 Graph Theory (3+2 kr.)
- PA150 Principy operačních systémů (2+2 kr.)
2. semestr
- IA011 Sémantiky programovacích jazyků (3+2 kr.)
- IA012 Složitost (2+2 kr.)
- IA023 Petriho sítě (2+2 kr.)
- IA159 Formal Verification Methods (2+2 kr.)
- PA151 Soudobé počítačové sítě (2+2 kr.)
3. semestr
- IA101 Algoritmika pro těžké problémy (2+2 kr.)
- MA007 Matematická logika (3+2 kr.)
- PV079 Applied Cryptography (3+2 kr.)
- PV200 Introduction to hardware description languages (3+1 kr.)
- SDIPR Diplomová práce (10 kr.)