Department of Computer Science


Courses supervised by the department | Teaching provided by the department

Show courses taught:

 

This list presents courses whose supervising department is Department of Computer Science

Total number of courses taught on the department Faculty of Informatics in term Spring 2012 is 39

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 1Letter I, page 1Letter J, page 1Letter K, page 1Letter L, page 1Letter M, page 2Letter N, page 2Letter O, page 2Letter P, page 2Letter Q, page 2Letter R, page 2Letter S, page 2Letter T, page 2Letter U, page 2Letter V, page 2Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 39 records, displayed 1 - 20
course code
sort		ordered by:course name ascendingcourse name
sort
MA051Advanced Graph Theory: Topological, in English
 Assoc. Prof. RNDr. Petr Hliněný, Ph.D.
IB108Algorithm Design II, in Czech
 Prof. RNDr. Ivana Černá, CSc.
seminar tutors: RNDr. Nikola Beneš, RNDr. Petra Budíková
IV010Communication and Parallelism, in Czech
 Prof. RNDr. Luboš Brim, CSc.
PA037Compiler Project, in Czech
 Prof. RNDr. Antonín Kučera, Ph.D.
IA012Complexity, in Czech
 Prof. RNDr. Ivana Černá, CSc.
IA046Computability, in Czech
 Prof. RNDr. Luboš Brim, CSc.
IA008Computational Logic, in English
 Mgr. Ondřej Nečas, Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D.
seminar tutors: Mgr. Jana Fabriková, Mgr. Eva Mráková, Ph.D.
IA041Concurrency Theory, in Czech
 Prof. RNDr. Mojmír Křetínský, CSc.
IB109Design and Implementation of Parallel Systems, in Czech
 Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
IB002Design of Algorithms I, in Czech
 RNDr. Libor Škarvada
seminar tutors: Marek Klučár, Bc. Štěpán Kozák, Mgr. Matúš Madzin, Bc. Josef Pacula, Bc. Tomáš Raček, RNDr. David Svoboda, Ph.D., Bc. Filip Štefaňák, Bc. Jiří Uhlíř
IB005Formal Languages and Automata I, in Czech
 Prof. RNDr. Mojmír Křetínský, CSc.
seminar tutors: Assoc. Prof. RNDr. Jiří Barnat, Ph.D., RNDr. Nikola Beneš, RNDr. Jan Strejček, Ph.D.
IA159Formal Verification Methods, in English
 RNDr. Jan Strejček, Ph.D.
IA014Functional Programming, in Czech
 RNDr. Libor Škarvada
IA084Hot Topics of Quantum Information Processing, in English
 RNDr. Jan Bouda, Ph.D., Prof. RNDr. Jozef Gruska, DrSc., RNDr. Martin Plesch, Ph.D., Assoc. Prof. Mgr. Mário Ziman, Ph.D.
IA067Informatics Colloquium, in English
 Prof. RNDr. Jozef Gruska, DrSc.
IB015Introduction to Functional Programming, in Czech
 Assoc. Prof. RNDr. Jiří Barnat, Ph.D.
seminar tutors: Marek Klučár, Mgr. Matej Kollár, Tomáš Szaniszlo, Vladimír Štill, Andrej Tokarčík, Martin Ukrop
IB101Introduction to Logic and Logic Programming, in Czech
 Mgr. Lukáš Másilko, Mgr. Ondřej Nečas, Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D.
seminar tutors: RNDr. Jan Bouda, Ph.D., Mgr. Jana Fabriková, Mgr. Eva Mráková, Ph.D., Mgr. Matej Pivoluska, Bc. Adam Šiška
IV074Laboratory for Parallel and Distributed Systems, in Czech
 Assoc. Prof. RNDr. Jiří Barnat, Ph.D., Prof. RNDr. Ivana Černá, CSc.
PV115Laboratory of Knowledge Discovery, in Czech
 Assoc. Prof. RNDr. Lubomír Popelínský, Ph.D.
IA081Lambda calculus, in English
 Prof. RNDr. Jiří Zlatuška, CSc.
First pagePrevious page|1|2|Next pageLast page
found: 39 records, displayed 1 - 20
 
 
top