Skip to main content
DL 1
  • Home
  • Support
    User support GDPR
  • More
English ‎(en)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Log in
DL 1
Home Support Collapse Expand
User support GDPR
  1. Courses
  2. Faculty of Mathematics and Physics
  3. Department of Theoretical Computer Science and Mathematical Logic
  4. Theoretical Computer Science

Theoretical Computer Science

Základy složitosti a vyčíslitelnosti (2024/2025)

  • Teacher: Petr Kučera
  • Teacher: Vladan Majerech

Introduction to Complexity and Computability (2024/2025)

  • Teacher: Petr Kučera

Large-scale optimization

  • Teacher: Jakub Bulín
  • Teacher: Jiří Fink

Algorithms for knowledge representation

  • Teacher: Petr Kučera

Decision procedures and SAT/SMT solvers

  • Teacher: Petr Kučera

Probabilistic Graphical Models

  • Teacher: Marta Vomlelová

Lambda-kalkulus a funkcionální programování 1

  • Teacher: Jan Hric

Constraint Programming

  • Teacher: Jakub Bulín
Contact site support
You are not logged in. (Log in)
Get the mobile app
Powered by Moodle