Ke zvolené fakultě se vypíší všechny obory prezenční a kombinované formy studia. Zpracovávají se poslední 4 semestry. Ke každému oboru se vyberou všechna studia, která měla obor aktivní v den zahájení výuky semestru. Berou se v úvahu pouze studia, která studium zahájila řádným zápisem (tj. ignorují se studia, která zahájila přestupem apod.). Ignorují se studia, která mají více než dva uznané předměty. Zpracovávají se zápisy předmětů, které nejsou uznané, započítávají se, jsou v obvyklých semestrech. Ke každému zpracovávanému zápisu se zjistí, kolik oborů mělo studium aktivní v den zahájení výuky semestru. Pokud jeden, pak se zápis započte k tomuto jedinému oboru. Pokud má studium více aktivních oborů, hledá se, zda k zápisu je přiřazen obor. Pokud ano, použije se. Pokud ne, vyhledají se mateřské obory k předmětu. Předmět se započte jen k oborům studia, které jsou současně mateřským oborem předmětu. Pokud se žádný mateřský obor neshoduje s žádným z aktivních oborů studia v den zahájení výuky semestru, zápis se započte ke všem aktivním oborům studia. Semestr se použije ten, který SO k aktivnímu oboru studia zadalo platný ke dni zahájení výuky semestru. Procento sděluje poměr počtu všech studií majících obor za aktivní v semestru ke dni zahájení výuky semestru ke stejným studiím, které mají předmět zapsaný. Bere se v úvahu pouze první zápis předmětu ve studiu (nikoli opakovaný v případě neúspěchu). Zápisy, které má zapsáno méně než 10 % studií, se ignorují. Zobrazuje se jen tolik semestrů, kolik zahrnuje standardní doba studia oboru.

Formální analýza počítačových systémů (navazující prezenční se specializací)

1. ročník
1. semestr
FI:IA168 Algorithmic game theory • 100 %
FI:MA007 Matematická logika • 100 %
FI:IA006 Vybrané kapitoly z teorie automatů • 67 %
FI:IA012 Složitost • 67 %
FI:IA159 Formal Methods for Software Analysis • 67 %
FI:IV120 Spojité a hybridní systémy • 67 %
FF:CORE087 Je Čína supervelmoc? Politika a společnost v soudobé Číně • 33 %
FI:IA062 Randomized Algorithms and Computations • 33 %
FI:IA066 Introduction to Quantum Computing • 33 %
FI:IA175 Algorithms for Quantitative Verification • 33 %
FI:IV125 Formela lab seminar • 33 %
FI:PV079 Applied Cryptography • 33 %
2. semestr
FI:IA023 Petriho sítě • 100 %
FI:IA085 Satisfiability and Automated Reasoning • 100 %
FI:IA169 Model Checking • 100 %
FI:IV003 Algorithms and Data Structures II • 100 %
FI:PV027 Optimization • 100 %
FI:IA011 Sémantiky programovacích jazyků • 67 %
FI:PB161 Programování v jazyce C++ • 67 %
FI:DUCIT Teaching Lab • 33 %
FI:IA072 Seminar on Verification • 33 %
2. ročník
3. semestr
FI:IA072 Seminar on Verification • 50 %
FI:IA101 Algoritmika pro těžké problémy • 50 %
FI:IA175 Algorithms for Quantitative Verification • 50 %
FI:PV021 Neural Networks • 50 %
PřF:BI0001 Příběhy vědy: rakovina • 25 %
PřF:XS571 Komunikace v konfliktních situacích 2 • 25 %
FI:IA011 Sémantiky programovacích jazyků • 25 %
FI:IA012 Složitost • 25 %
FI:IA023 Petriho sítě • 25 %
FI:IA066 Introduction to Quantum Computing • 25 %
FI:IA159 Formal Methods for Software Analysis • 25 %
FI:IV003 Algorithms and Data Structures II • 25 %
FI:MA017 Geometric Algorithms • 25 %
FI:PA212 Advanced Search Techniques for Large Scale Data Analytics • 25 %
FI:PA230 Reinforcement Learning • 25 %
FI:PB130 Úvod do digitálního zpracování obrazu • 25 %
FI:PV112 Computer Graphics API • 25 %
FI:PV197 GPU Programming • 25 %
FI:PV255 Game Development I • 25 %
FI:PV281 Programování v jazyce Rust • 25 %
FI:PV294 Advanced C++ • 25 %
FI:VV052 Evening Drawing • 25 %
4. semestr
FaF:CORE018 Rostliny ve zdraví a nemoci • 100 %
FF:CORE087 Je Čína supervelmoc? Politika a společnost v soudobé Číně • 100 %
FF:CORE089 Filosofie ve sci-fi • 100 %
FF:CORE100 AI revoluce: umělá inteligence jako příležitost i hrozba pro společnost • 100 %
PřF:CORE041 Věda – největší projekt lidstva • 100 %
FI:IA072 Seminar on Verification • 100 %
FI:IA159 Formal Methods for Software Analysis • 100 %
FI:IV120 Spojité a hybridní systémy • 100 %
FI:PV197 GPU Programming • 100 %

Údaje byly předpočítány: 21. 12. 2024 11:31

Všechny obory fakulty