Teaching archive

Archive: Fall 2023

• NAIL062 Propositional and Predicate Logic
  • 🇨🇿 Czech lecture
  • 🇨🇿 Czech tutorial x1
• NOPT042 Constraint Programming
  • 🇬🇧 Tutorial

Archive: Spring 2023

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇬🇧 English tutorial x1
  • 🇨🇿 Czech tutorial x2
• NOPT059 Large-scale optimization: Exact methods
  • 🇬🇧 Lecture

Archive: Fall 2022

• NAIL062 Propositional and Predicate Logic
  • 🇨🇿 Czech lecture
  • 🇨🇿 Czech tutorial x1
• NOPT042 Constraint Programming
  • 🇬🇧 Tutorial

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