Sort by semester Standard sorting Presentation
FI SWA Software Systems
Name in Czech: Software Systems
master's full-time specialized, language of instruction: English English
Included in the programme: FI N-PSKB_A Computer Systems, Communication and Security

Semester 1

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 P P
FI:MA007Mathematical Logic A. Kučerazk 2/1/14+2 P P
FI:MA010Graph Theory D. Kráľzk 2/1/03+2 P P
FI:MA012Statistics II O. Pokorazk 2/2/03+2 - P
FI:MA015Graph Algorithms J. Obdržálekzk 2/1/03+2 - P
FI:MA018Numerical Methods J. Zelinkazk 2/2/03+2 P P
FI:MA026Advanced Combinatorics P. Hliněnýzk 2/1/03+2 - P
FI:PA017Information Systems Management J. Ráčekzk 2/0/02+2 P P
FI:PA174Design of Digital Systems II Z. Matějzk 2/0/02+2 P P
FI:PA191Advanced Computer Networking E. Hladkázk 2/0/02+2 Z P
FI:PA192Secure hardware-based system design Z. Matějzk 2/2/25+2 - P
FI:PV198Onechip Controllers Z. Matějzk 2/0/13+2 - P
FI:PV200Introduction to hardware description languages Z. Matějk 0/2/13+1 - P
64 credits

Semester 2

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 - P
FI:IA101Algorithmics for Hard Problems I. Černázk 2/0/02+2 Z P
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 - P
FI:IA169Model Checking J. Strejčekzk 2/1/03+2 Z P
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 - P
FI:MV013Statistics for Computer Science P. Hasilzk 2/2/03+2 P P
FI:PA039Supercomputer Architecture and Intensive Computations L. Matyskazk 2/0/02+2 - P
FI:PA165Enterprise Applications in Java T. Pitnerzk 2/2/03+2 Z P
FI:PA176Architecture of Digital Systems II Z. Matějzk 2/0/02+2 - P
FI:PA190Digital Signal Processing V. Přenosilzk 2/0/02+2 - P
FI:PA221Hardware description languages Z. Matějk 0/2/13+1 - P
FI:PA234Infrastuctural and Cloud Systems T. Rebokzk 2/2/03+2 - P
FI:PV191Embedded systems seminar Z. Matějk 0/3/03+1 - P
FI:PV193Accelerating Algorithms at Circuit Level V. Přenosilzk 2/02+2 - P
FI:PV194External Environments of Digital Systems V. Přenosilzk 2/02+2 - P
FI:PV258Software Requirements Engineering B. Rossizk 2/0/02+2 P P
70 credits

Semester 3

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA174Fundaments of Cryptography P. Novotnýzk 2/0/13+2 - P
FI:PA103Object-oriented Methods for Design of Information Systems R. Ošlejšekzk 2/0/02+2 P P
FI:PA175Digital Systems Diagnostics II V. Přenosilzk 2/0/02+2 - P
FI:PV079Applied Cryptography V. Matyášzk 1/1/24+2 Z P
FI:PV217Service Oriented Architecture B. Rossik 2/0/02+1 P P
22 credits

Semester 4

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:PA152Efficient Use of Database Systems V. Dohnalzk 2/0/13+2 Z P
FI:PA160Net-Centric Computing II L. Matyskazk 2/0/02+2 Z P
FI:PV260Software Quality B. Rossik 2/2/14+1 - P
FI:SDIPRDiploma Thesis D. Svobodaz 0/0/020 - P
FI:SOBHADefence of Thesis D. SvobodaSZk 0/0/0- - P
FI:SZMGRState Exam (MSc degree) D. SvobodaSZk 0/0/0- - P
34 credits

Any semester

Code Name Guarantor Type of Completion Extent and Intensity Credits Profile Cat. Requirement
FI:IA267Scheduling H. Rudovázk 2/02+2 - P
FI:PV021Neural Networks T. Brázdilzk 2/0/24+2 - P
FI:PV286Secure coding principles and practices L. Chmielewskizk 2/0/13+2 - P
15 credits