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 Seminář laboratoře Formela • 33 %
FI:PV079 Applied Cryptography • 33 %
2. semestr
FI:IA023 Petriho sítě • 75 %
FI:IA085 Satisfiability and Automated Reasoning • 75 %
FI:IA169 Model Checking • 75 %
FI:IV003 Algorithms and Data Structures II • 75 %
FI:PV027 Optimization • 75 %
FI:IA011 Sémantiky programovacích jazyků • 50 %
FI:PB161 Programování v jazyce C++ • 50 %
PřF:CORE001 Příběhy vědy: gen • 25 %
FI:DUCIT Teaching Lab • 25 %
FI:IA072 Seminar on Verification • 25 %
FI:IV022 Principy elegantního programování • 25 %
FI:PA153 Počítačové zpracování přirozeného jazyka • 25 %
FI:PB016 Úvod do umělé inteligence • 25 %
FI:PV021 Neural Networks • 25 %
FI:PV090 UNIX -- seminář ze správy systému • 25 %
FI:PV259 Generative Design Programming • 25 %
FI:PV284 Introduction to IoT • 25 %
2. ročník
3. semestr
PřF:BI0001 Příběhy vědy: rakovina • 50 %
FI:IA011 Sémantiky programovacích jazyků • 50 %
FI:IA023 Petriho sítě • 50 %
FI:IA168 Algorithmic game theory • 50 %
FI:IV003 Algorithms and Data Structures II • 50 %
FI:PA212 Advanced Search Techniques for Large Scale Data Analytics • 50 %
4. semestr
FI:IA072 Seminar on Verification • 100 %
FaF:CORE018 Rostliny ve zdraví a nemoci • 50 %
FF:CORE087 Je Čína supervelmoc? Politika a společnost v soudobé Číně • 50 %
FF:CORE089 Filosofie ve sci-fi • 50 %
FF:CORE100 AI revoluce: umělá inteligence jako příležitost i hrozba pro společnost • 50 %
PřF:CORE041 Věda – největší projekt lidstva • 50 %
FI:IA159 Formal Methods for Software Analysis • 50 %
FI:IA168 Algorithmic game theory • 50 %
FI:IA174 Fundaments of Cryptography • 50 %
FI:IV111 Probability in Computer Science • 50 %
FI:IV120 Spojité a hybridní systémy • 50 %
FI:PA159 Počítačové sítě a jejich aplikace I • 50 %
FI:PB006 Principy programovacích jazyků a OOP • 50 %
FI:PV197 GPU Programming • 50 %

Údaje byly předpočítány: 14. 9. 2024 11:33

Všechny obory fakulty