Перейти к основному содержанию
DL 1
  • В начало
  • More
Русский ‎(ru)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Вход
DL 1
В начало
  1. Курсы
  2. 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
Вы не вошли в систему (Вход)
Скачать мобильное приложение
Powered by Moodle