Výuka
Vyučované předměty
Jaro 2025 na Fakultě informatiky
- Advanced Combinatorics
- Advanced Functional Programming
- Algorithms and Data Structures II
- Algoritmy a datové struktury I
- Computational Logic
- Formální jazyky a automaty
- Information Society
- Laboratoř paralelních a distribuovaných systémů
- LiVe Lab Seminar
- Návrh a implementace paralelních systémů
- Opakování před SBZZ
- Petriho sítě
- Překladače
- Satisfiability and Automated Reasoning
- Sémantiky programovacích jazyků
- Seminar on Discrete Mathematical Methods
- Seminar on Verification
- Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář laboratoře RationAI
- Seminář z funkcionálního programování
- Úvod do programování a algoritmizace II
- Základy informatiky
Podzim 2024 na Fakultě informatiky
- Algebra I
- Algorithms for Quantitative Verification
- Algoritmika pro těžké problémy
- Formal Methods for Software Analysis
- Fundaments of Cryptography
- Geometric Algorithms
- Graph Algorithms
- Graph Theory
- Information Society
- Introduction to Quantum Computing
- Laboratoř paralelních a distribuovaných systémů
- Limity formálních systémů, důkazů a výpočtů
- LiVe Lab Seminar
- Matematická logika
- Matematické základy informatiky (IB000, IB000ext)
- Neimperativní programování
- Numerical Methods
- Opakování před SBZZ
- Paralelní a distribuované výpočty
- Principles of Programming Languages
- Principy programovacích jazyků a OOP
- Probability in Computer Science
- Projekt z překladačů
- Reinforcement Learning
- Seminar on Verification
- Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář laboratoře RationAI
- Složitost
- Statistics II
- Types and Proofs
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
Jaro 2024 na Fakultě informatiky
- Advanced Combinatorics
- Advanced Functional Programming
- Algebra II
- Algorithms and Data Structures II
- Algoritmy a datové struktury I
- Computational Logic
- Formální jazyky a automaty
- Information Society
- Komunikace a paralelismus
- Laboratoř paralelních a distribuovaných systémů
- Lambda calculus
- LiVe Lab Seminar
- Model Checking
- Návrh a implementace paralelních systémů
- Opakování před SBZZ
- Petriho sítě
- Projekt z překladačů
- Překladače
- Satisfiability and Automated Reasoning
- Sémantiky programovacích jazyků
- Seminar on Discrete Mathematical Methods
- Seminar on Verification
- Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Seminář z funkcionálního programování
- Úvod do programování a algoritmizace II
- Základy informatiky