Přejít k hlavnímu obsahu
DL 1
  • Titulní stránka
  • Podpora uživatelů
    Moodleoffice Moodle tutoriál Podpora uživatelů Návody GDPR
  • Další
Čeština ‎(cs)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka Podpora uživatelů Sbalit Rozbalit
Moodleoffice Moodle tutoriál Podpora uživatelů Návody GDPR
  1. Kurzy
  2. Matematicko-fyzikální fakulta
  3. Katedra teoretické informatiky a matematické logiky
  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
Kontaktujte podporu stránek
Momentálně na stránky přistupujete s právy hosta. (Přihlášení)
Stáhněte si mobilní aplikaci
Používá Moodle