Passer au contenu principal
DL 1
  • Accueil
  • Plus
Français ‎(fr)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Connexion
DL 1
Accueil
  1. Cours
  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
Contacter l'assistance du site
Non connecté. (Connexion)
Obtenir l'app mobile
Fourni par Moodle