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

Department of Theoretical Computer Science and Mathematical Logic

Seminar on advanced data analysis - NAIL125
Seminář z pokročilé analýzy dat (2022)
Algorithms and Data Structures 1
Automata and Grammars
Large-scale optimization
Algorithms for knowledge representation
Decision procedures and SAT/SMT solvers
Lambda-kalkulus a funkcionální programování 1
Constraint Programming
Výroková a predikátová logika
Algoritmy a datové struktury 2
Contact site support
You are not logged in. (Log in)
Data retention summary
Get the mobile app
Policies
Powered by Moodle