Výuka
Vyučované předměty
Podzim 2022 na Fakultě informatiky
Jaro 2022 na Fakultě informatiky
- Advanced Functional Programming
- Algebra II
- Algorithms and Data Structures II
- Algoritmy a datové struktury I
- Computational Logic
- Etika a informační technologie (CORE024, VV076)
- Formal Verification Methods
- Formální jazyky a automaty
- Informatické kolokvium
- Informatics Colloquium
- Informatics-Driven Future
- Information Society
- Komunikace a paralelismus
- Laboratoř paralelních a distribuovaných systémů
- Lambda calculus
- Lineární algebra a diskrétní matematika
- Lineární modely
- Návrh a analýza statistických experimentů
- Návrh a implementace paralelních systémů
- Opakování před SBZZ
- Petriho sítě
- Projekt z překladačů
- Randomized Algorithms and Computations
- 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ář z funkcionálního programování
- Statistics for Computer Science
- Teorie a specifikace procesů
- Úvod do programování a algoritmizace II
- Vyčíslitelnost
- Základy informatiky
Podzim 2021 na Fakultě informatiky
- Algebra I
- Algoritmika pro těžké problémy
- Aplikovaná matematická analýza
- Coding, Cryptography and Cryptographic Protocols
- Diferenciální a integrální počet
- Diskrétní matematika
- Fundaments of Cryptography
- Geometric Algorithms
- Graph Algorithms
- Graph Theory
- Informatické kolokvium
- Informatics Colloquium
- Information Society (CORE012, IV064)
- Laboratoř paralelních a distribuovaných systémů
- Matematická logika
- Matematické základy informatiky
- Modální a temporální logiky procesů
- Neimperativní programování
- Numerical Methods
- Opakování před SBZZ
- Principles of Programming Languages
- Principy programovacích jazyků a OOP
- Probability in Computer Science
- Překladače
- Seminar on Verification
- Seminář k informační společnosti
- Seminář laboratoře diskrétních metod a algoritmů (DIMEA)
- Seminář laboratoře Formela
- Seminář laboratoře paralelních a distribuovaných systémů
- Složitost
- Statistika II
- System Verification and Assurance
- Úvod do kvantových algoritmov a počítačov
- Vybrané kapitoly z teorie automatů
- Vyčíslitelnost a složitost
Jaro 2021 na Fakultě informatiky
- Advanced Functional Programming
- Advanced Quantum Information Processing
- Algorithms and Data Structures II
- Algoritmy a datové struktury I
- Formal Verification Methods
- Formální jazyky a automaty
- Informatické kolokvium
- Informatics Colloquium
- Informatics-Driven Future
- Komunikace a paralelismus
- Laboratoř paralelních a distribuovaných systémů
- Lineární algebra a diskrétní matematika