Teaching archive

Archive: Spring 2024

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇬🇧 English tutorial
  • 🇨🇿 Czech tutorial x2
• NOPT061 Large-scale optimization: Metaheuristics
  • 🇬🇧 Lecture

Archive: Fall 2023

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

Archive: Spring 2023

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

Archive: Fall 2022

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

Archive: Spring 2022

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇨🇿 Czech tutorial x2

Archive: Fall 2021

• NAIL062 Propositional and Predicate Logic
  • 🇨🇿 English lecture
  • 🇬🇧 English tutorial
  • 🇨🇿 Czech tutorial
• NOPT059 Large-scale optimization
  • 🇬🇧 Lecture
• NOPT042 Constraint Programming
  • 🇬🇧 Tutorial
• NTIN090 Intro to Complexity and Computability
  • 🇬🇧 English tutorial

Archive: Spring 2021

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇨🇿 Czech tutorial x2

Archive: Fall 2020

• NAIL062 Propositional and Predicate Logic
  • 🇬🇧 English lecture
  • 🇬🇧 English tutorial
  • 🇨🇿 Czech tutorial
• NOPT042 Constraint Programming
  • 🇬🇧 Tutorial
• NTIN090 Intro to Complexity and Computability
  • 🇬🇧 English tutorial

Archive: Spring 2020

• NTIN071 Automata and Grammars
  • 🇬🇧 English lecture
  • 🇨🇿 Czech tutorial x2

Archive: Fall 2019

• NAIL062 Propositional and Predicate Logic
  • 🇬🇧 English lecture
  • 🇬🇧 English tutorial
  • 🇨🇿 Czech tutorial

Before Fall 2019

Various courses at the Department of Algebra, CU Prague and the Department of Mathematics, CU Boulder.