Teaching archive

Archive: Spring 2022

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇨🇿 Two Czech tutorials

Archive: Fall 2021

• NAIL062 Propositional and Predicate Logic (old course on Moodle)
  • 🇬🇧 English lecture
  • 🇬🇧 English tutorial
  • 🇨🇿 Czech tutorial
• NOPT042 Constraint Programming (old course on Moodle)
  • 🇬🇧 Tutorial
• NOPT059 Large-scale Optimization (old course on Moodle)
  • 🇬🇧 English lecture
• NTIN090 Intro to Complexity and Computability
  • 🇬🇧 English tutorial