Course code |
Course title |
Extent of teaching
|
Completion
|
Semester
|
Credits
|
Guarantor |
Instructors |
MI-PAL |
Advanced Algorithms |
2P+1C |
Z,ZK |
L |
4 |
|
|
NI-APT |
Advanced Program Testing |
2P+1C |
Z,ZK |
Z |
5 |
Donat-Bouillud P. |
Donat-Bouillud P. |
NI-ATH |
AlgorithmicTheories of Games |
2P+2C |
Z,ZK |
L |
4 |
Valla T. |
Valla T. |
BI-AG1.21 |
Algorithms and Graphs 1 |
2P+2C |
Z,ZK |
Z |
5 |
Knop D. |
Knop D., Opler M. |
BI-AG1 |
Algorithms and Graphs 1 |
2P+2C |
Z,ZK |
Z |
6 |
|
|
BIE-AG1.21 |
Algorithms and Graphs 1 |
2P+2C |
Z,ZK |
Z |
5 |
Knop D. |
Valla T. |
BIE-AG1 |
Algorithms and Graphs 1 |
2P+2C |
Z,ZK |
Z |
6 |
|
|
BIK-AG1.21 |
Algorithms and Graphs 1 |
14KP+4KC |
Z,ZK |
Z |
5 |
Knop D. |
Hušek R. |
BIK-AG1 |
Algorithms and Graphs 1 |
14KP+4KC |
Z,ZK |
Z |
6 |
|
|
BI-AG2.21 |
Algorithms and Graphs 2 |
2P+2C |
Z,ZK |
L |
5 |
Suchý O. |
Hušek R. |
BI-AG2 |
Algorithms and Graphs 2 |
2P+2C |
Z,ZK |
L |
5 |
|
|
BIE-AG2.21 |
Algorithms and Graphs 2 |
2P+2C |
Z,ZK |
L |
5 |
Suchý O. |
Suchý O. |
BIE-AG2 |
Algorithms and Graphs 2 |
2P+2C |
Z,ZK |
L |
5 |
|
|
BI-AVI.21 |
Algorithms visually |
2P+1C |
Z,ZK |
Z |
4 |
Kučera L. |
Kučera L. |
BI-AAG |
Automata and Grammars |
2P+2C |
Z,ZK |
Z |
6 |
|
|
BI-AAG.21 |
Automata and Grammars |
2P+2C |
Z,ZK |
Z |
5 |
Holub J. |
Holub J., Janoušek J. |
BIE-AAG |
Automata and Grammars |
2P+2C |
Z,ZK |
Z |
6 |
|
|
BIE-AAG.21 |
Automata and Grammars |
2P+2C |
Z,ZK |
Z |
5 |
Holub J. |
Holub J. |
BIK-AAG |
Automata and Grammars |
13KP+4KC |
Z,ZK |
Z |
6 |
|
|
BIK-AAG.21 |
Automata and Grammars |
14KP+4KC |
Z,ZK |
Z |
5 |
Guth O., Holub J. |
Šestáková E., Guth O. |
MI-AVY |
Automata in Text Pattern Matching |
2P+1C |
Z,ZK |
L |
4 |
Guth O. |
Žďárek J., Guth O., Pecka T., Plachý Š., Trávníček J. |
MI-GEN |
Code Generators |
2P+1C |
Z,ZK |
L |
4 |
|
|
NI-GEN |
Code Generators |
2P+1C |
Z,ZK |
L |
5 |
Janoušek J. |
Máj P. |
MI-ATH |
Combinatorial Theories of Games |
2P+2C |
Z,ZK |
L |
4 |
|
|
NI-KTH |
Combinatorial Theories of Games |
2P+1C |
Z,ZK |
L |
4 |
Valla T. |
Valla T. |
BI-CCN |
Compiler Construction |
3P |
Z,ZK |
L |
5 |
Kirsch C. |
Kirsch C. |
BIE-CCN |
Compiler Construction |
3P |
Z,ZK |
L |
5 |
Kirsch C. |
Kirsch C. |
MI-CPX |
Complexity Theory |
3P+1C |
Z,ZK |
Z |
5 |
|
|
NI-CPX |
Complexity Theory |
3P+1C |
Z,ZK |
Z |
5 |
Suchý O. |
Knop D., Suchý O. |
MI-KOD.16 |
Data Compression |
2P+1C |
Z,ZK |
L |
5 |
|
|
NIE-KOD |
Data Compression |
2P+1C |
Z,ZK |
L |
5 |
Holub J. |
Holub J. |
NI-KOD |
Data Compression |
2P+1C |
Z,ZK |
L |
5 |
Holub J. |
Holub J. |
BI-EP1 |
Effective programming 1 |
2P+2C |
Z |
Z |
4 |
Kačer M. |
Kačer M. |
BIE-EFA |
Efficient Algorithms |
2P+2C |
Z,ZK |
Z |
5 |
|
|
BIK-EFA |
Efficient Algorithms |
13KP+4KC |
Z,ZK |
Z |
5 |
|
|
BIK-EIA |
Efficient Implementation of Algorithms |
13KP+4KC |
Z,ZK |
Z |
5 |
|
|
MI-PAM |
Efficient Preprocessing and Parameterized Algorithms |
2P+1C |
Z,ZK |
L |
4 |
|
|
NI-PAM |
Efficient Preprocessing and Parameterized Algorithms |
2P+1C |
Z,ZK |
L |
4 |
Suchý O. |
Suchý O. |
BI-EP2 |
Efficient Programming 2 |
2P+2C |
KZ |
L |
4 |
Kačer M. |
Kačer M. |
MI-EVY.16 |
Efficient Text Pattern Matching |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NIE-EVY |
Efficient Text Pattern Matching |
2P+1C |
Z,ZK |
Z |
5 |
Holub J. |
Holub J. |
NI-EVY |
Efficient Text Pattern Matching |
2P+1C |
Z,ZK |
Z |
5 |
Holub J. |
Holub J. |
NI-VOL |
Elections |
2P+1C |
Z,ZK |
L |
5 |
Knop D. |
Knop D. |
BIE-TED |
Electronic Documentation Design |
2P+2C |
KZ |
L |
5 |
|
|
NI-FMT |
Finite model theory |
2P+1C |
Z,ZK |
L |
4 |
|
|
MI-FLP |
Functional and Logical Programming |
2P+1C |
Z,ZK |
L |
4 |
|
|
BIE-GRA |
Graph Algorithms and Complexity Theory |
2P+2C |
Z,ZK |
L |
5 |
|
|
BIK-GRA |
Graph Algorithms |
13KP+4KC |
Z,ZK |
L |
5 |
|
|
MI-GAK |
Graph theory and combinatorics |
2P+2C |
Z,ZK |
L |
5 |
|
|
NIE-GAK |
Graph theory and combinatorics |
2P+2C |
Z,ZK |
L |
5 |
Valla T. |
Valla T. |
NI-GAK |
Graph theory and combinatorics |
2P+2C |
Z,ZK |
L |
5 |
Valla T. |
Valla T. |
BIE-CSI |
Introduction to Computer Science |
2C |
Z |
1 |
2 |
Guth O., Kirsch C. |
Guth O., Kirsch C. |
NI-DVG |
Introduction to Discrete and Computational Geometry |
2P+1C |
Z,ZK |
L |
5 |
Saumell Mendiola M. |
Saumell Mendiola M. |
NIE-DVG |
Introduction to Discrete and Computational Geometry |
2P+1C |
Z,ZK |
L |
5 |
Saumell Mendiola M. |
Saumell Mendiola M. |
MI-LOM.16 |
Linear Optimization and Methods |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NI-LOM |
Linear Optimization and Methods |
2P+1C |
Z,ZK |
Z |
5 |
Knop D. |
Knop D. |
NI-MPJ |
Modelling of Programming Languages |
2P+1C |
Z,ZK |
Z |
5 |
|
|
MI-NON.16 |
Nonlinear Continuous Optimization and Numerical Methods |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NIE-NON |
Nonlinear Continuous Optimization and Numerical Methods |
2P+1C |
Z,ZK |
Z |
5 |
Kruis J. |
Kruis J. |
NI-NON |
Nonlinear Continuous Optimization and Numerical Methods |
2P+1C |
Z,ZK |
Z |
5 |
Kruis J. |
Kruis J. |
BIE-OOP.21 |
Object-Oriented Programming |
2P+2C |
Z,ZK |
Z |
5 |
Křikava F. |
Křikava F., Máj P. |
BIE-OOP |
Object-Oriented Programming |
2P+2C |
Z,ZK |
Z |
4 |
Křikava F. |
Křikava F. |
BIK-OOP.21 |
Object-Oriented Programming |
14KP+4KC |
Z,ZK |
Z |
5 |
Křikava F. |
Křikava F. |
BIK-OOP |
Object-Oriented Programming |
14KP+4KC |
Z,ZK |
Z |
4 |
Křikava F. |
Křikava F. |
BI-OOP.21 |
Object-Oriented Programming |
2P+2C |
Z,ZK |
Z |
5 |
Křikava F. |
Křikava F., Máj P. |
BI-OOP |
Object-Oriented Programming |
2P+2C |
Z,ZK |
Z |
4 |
Křikava F. |
Křikava F. |
BI-ORL |
Operations Research and Linear Programming |
1P+2C |
KZ |
L |
5 |
Knop D. |
Hušek R., Knop D. |
MI-SYP.16 |
Parsing and Compilers |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NIE-SYP |
Parsing and Compilers |
2P+1C |
Z,ZK |
Z |
5 |
Janoušek J. |
Janoušek J. |
NI-SYP |
Parsing and Compilers |
2P+1C |
Z,ZK |
Z |
5 |
Janoušek J. |
Janoušek J. |
MI-ROZ |
Pattern Recognition |
2P+1C |
Z,ZK |
Z |
4 |
|
|
MI-ROZ.16 |
Pattern Recognition |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NIE-ROZ |
Pattern Recognition |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NI-ROZ |
Pattern Recognition |
2P+1C |
Z,ZK |
Z |
5 |
Haindl M. |
Haindl M. |
BIE-PA1 |
Programming and Algorithmics 1 |
2P+2R+2C |
Z,ZK |
Z |
6 |
|
|
BIE-PA1.21 |
Programming and Algorithmics 1 |
2P+2R+2C |
Z,ZK |
Z |
7 |
Trávníček J. |
Trávníček J. |
BIK-PA1 |
Programming and Algorithmics 1 |
20KP+6KC |
Z,ZK |
Z |
6 |
|
|
BIK-PA1.21 |
Programming and Algorithmics 1 |
14KP+8KC |
Z,ZK |
Z |
7 |
Trávníček J. |
Bernhauer D. |
BI-PA1 |
Programming and Algorithmics 1 |
2P+2R+2C |
Z,ZK |
Z |
6 |
|
|
BI-PA1.21 |
Programming and Algorithmics 1 |
2P+2R+2C |
Z,ZK |
Z |
7 |
Trávníček J. |
Balík M., Trávníček J., Vagner L., Vogel J. |
BIE-PA2 |
Programming and Algorithmics 2 |
2P+1R+1C |
Z,ZK |
L |
7 |
|
|
BIE-PA2.21 |
Programming and Algorithmics 2 |
2P+1R+2C |
Z,ZK |
L |
7 |
Trávníček J. |
Trávníček J. |
BIK-PA2 |
Programming and Algorithmics 2 |
13KP+4KC |
Z,ZK |
L |
7 |
|
|
BIK-PA2.21 |
Programming and Algorithmics 2 |
14KP+6KC |
Z,ZK |
L |
7 |
Trávníček J. |
Bernhauer D. |
BI-PA2 |
Programming and Algorithmics 2 |
2P+1R+2C |
Z,ZK |
L |
7 |
|
|
BI-PA2.21 |
Programming and Algorithmics 2 |
2P+1R+2C |
Z,ZK |
L |
7 |
Trávníček J. |
Trávníček J., Vagner L., Vogel J. |
BI-PMA |
Programming in Mathematica |
2P+2C |
Z,ZK |
Z |
4 |
Buk Z. |
Buk Z. |
BIE-PJP |
Programming Languages and Compilers |
2P+1C |
Z,ZK |
L |
5 |
|
|
BIE-PJP.21 |
Programming Languages and Compilers |
2P+1C |
Z,ZK |
L |
5 |
Janoušek J. |
Janoušek J. |
BI-PJP |
Programming Languages and Compilers |
2P+1C |
Z,ZK |
L |
5 |
|
|
BI-PJP.21 |
Programming Languages and Compilers |
2P+1C |
Z,ZK |
L |
5 |
Janoušek J. |
Janoušek J. |
BIE-PPA.21 |
Programming Paradigms |
2P+2R |
Z,ZK |
Z |
5 |
Janoušek J. |
Máj P. |
BIE-PPA |
Programming Paradigms |
2P+2C |
Z,ZK |
Z |
5 |
|
|
BIK-PPA.21 |
Programming Paradigms |
14KP+4KC |
Z,ZK |
Z |
5 |
Janoušek J. |
Janoušek J. |
BIK-PPA |
Programming Paradigms |
14KP+4KC |
Z,ZK |
Z |
5 |
|
|
BI-PPA.21 |
Programming Paradigms |
2P+2R |
Z,ZK |
Z |
5 |
Janoušek J. |
Janoušek J., Máj P. |
BI-PPA |
Programming Paradigms |
2P+2R |
Z,ZK |
Z |
5 |
|
|
BI-ACM |
Programming Practices 1 |
4C |
KZ |
L |
5 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-ACM2 |
Programming Practices 2 |
4C |
KZ |
Z |
5 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-ACM3 |
Programming Practices 3 |
4C |
KZ |
L |
5 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-ACM4 |
Programming Practices 4 |
4C |
KZ |
Z |
5 |
Suchý O., Valla T. |
Suchý O., Valla T. |
MI-RUN.16 |
Runtime Systems |
2P+1C |
Z,ZK |
Z |
5 |
|
|
NI-RUN |
Runtime Systems |
2P+1C |
Z,ZK |
L |
5 |
Siek K. |
Siek K. |
BI-VAK.21 |
Selected Applications of Combinatorics |
2R |
Z |
L |
3 |
Valla T. |
Valla T. |
BIE-VAK.21 |
Selected Combinatorics Applications |
2R |
Z |
L |
3 |
Valla T. |
Knop D., Schierreich Š., Suchý O., Valla T. |
NI-APR |
Selected Methods for Program Analysis |
2P+1C |
Z,ZK |
L |
5 |
Křikava F. |
Křikava F. |
NI-SLA |
Sublinear algorithms |
2P+1C |
Z,ZK |
Z |
5 |
Knop D. |
Knop D. |
BIE-SEG |
Systems Engineering |
2C |
Z |
Z |
0 |
Guth O., Kirsch C. |
Guth O., Kirsch C. |
BI-TEX |
TeX and Typography |
2P+1C |
Z,ZK |
L |
4 |
Olšák P. |
Olšák P. |
BI-TS1 |
Theoretical Seminar I |
2C |
Z |
Z |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-TS2 |
Theoretical Seminar II |
2C |
Z |
L |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-TS3 |
Theoretical Seminar III |
2C |
Z |
Z |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
BI-TS4 |
Theoretical Seminar IV |
2C |
Z |
L |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
MI-TS3 |
Theoretical Seminar Master III |
2C |
Z |
Z |
4 |
|
|
NI-TS3 |
Theoretical Seminar Master III |
2C |
Z |
Z |
4 |
Suchý O., Valla T. |
|
MI-TS2 |
Theoretical Seminar Master II |
2C |
Z |
L |
4 |
|
|
NI-TS2 |
Theoretical Seminar Master II |
2C |
Z |
L |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
MI-TS1 |
Theoretical Seminar Master I |
2C |
Z |
Z |
4 |
|
|
NI-TS1 |
Theoretical Seminar Master I |
2C |
Z |
Z |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
MI-TS4 |
Theoretical Seminar Master IV |
2C |
Z |
L |
4 |
|
|
NI-TS4 |
Theoretical Seminar Master IV |
2C |
Z |
L |
4 |
Suchý O., Valla T. |
Suchý O., Valla T. |
|