Teaching
Courses taught
Spring 2001 at Faculty of Informatics
- Computing and Communication Networks and Their Applications
- Concurrency Club
- Constructions of grammars
- Design of Algorithms I (I002, I502)
- Design of Algorithms II
- Diploma Thesis Seminar
- Formal Languages and Automata I (I005, I505)
- Functional Programming
- Informatics Colloquium
- Introcuction to Object-Oriented Programming
- Knowledge Discovery in Databases
- Laboratory for Parallel and Distributed Systems
- Lambda calculus
- Mathematics for quantum information processing
- Modal and Temporal Logics for Processes
- Neural Networks
- Object and Deductive Database Project
- Parallel Computing
- Quantum seminar
- Quantum theory of measurement
- Seminar on Design of Algorithms I
- Seminar on Information Society
- Structural Complexity
- Topics in Language Theory
Autumn 2000 at Faculty of Informatics
- Algebraic instruments of linguistics
- Coding, Cryptography and Cryptographic Protocols
- Communication and Communication Complexity
- Communication and Parallelism
- Compilers
- Complexity
- Computational Geometry Project
- Concurrency Club
- Current Database Models
- Design and verification of algorithms
- Diploma Thesis Seminar
- Efficient Programming Methods
- Formal Languages and Automata II
- Induction and Recursion
- Inductive Logic Programming
- Informatics Colloquium
- Introduction to Functional Programming
- Introduction to Programming (I001, I001c)
- Laboratory of Parallel and Distributed Systems
- Petri Nets
- Principles of Programming Languages
- Programming Language Semantics
- Project in Knowledge Discovery in Data Bases
- Quantum information processing - physical aspects
- Quantum seminar
- Quantum systems for information processing
- Selected methods of precalculus - revival
- Structural recognition of random data
Autumn 2000 at Faculty of Science
Spring 2000 at Faculty of Science
- Návrh algoritmů - přednáška (I4130p, I4130s)
- Computability
- Design of Algorithms (I4130, I4B30)
- Introduction to Object-oriented Programming
Spring 2000 at Faculty of Informatics
- Computability (I007, I507)
- Computability II
- Computational Logic
- Concurrency Club
- Constructions of grammars
- Design of Algorithms I (I002, I502)
- Design of Algorithms II
- Diploma Thesis Seminar
- Formal Languages and Automata I (I005, I505)
- Functional Programming
- Informatics Colloquium
- Information Society
- Introcuction to Object-Oriented Programming
- Knowledge Discovery in Databases
- Knowledge Systems
- Laboratory for Parallel and Distributed Systems
- Mathematics for quantum information processing
- Modal and Temporal Logics for Processes
- Object and Deductive Database Project
- Parallel Computing
- Parallel Grammars and Automata
- Programming Language Semantics
- Quantum information processing - physical aspects
- Quantum seminar