Antonina Kolokolova -- teaching

Teaching

Fall 2024
- COMP-1002 (Intro logic for computer scientists)
Fall 2022
- COMP-1002 (Intro logic for computer scientists)
Winter 2022
- COMP 3600 (Algorithm design and analysis)
- COMP-6901 (Applied Algorithms)
Fall 2021
- COMP 3602 (Introduction to the Theory of Computation)
Winter 2021
- COMP 3600 (Algorithm design and analysis)
Fall 2020
- COMP-1002 (Intro logic for computer scientists)
- COMP-6901 (Applied Algorithms)
Winter 2019
- COMP-1002 (Intro logic for computer scientists)
- CS-3719 (Theory of Computation and Algorithms)
Spring 2018
- COMP-6902 (Theory of computation)
Fall 2017
- COMP-1002 (Intro logic for computer scientists)
Winter 2017
- COMP-1002 (Intro logic for computer scientists)
Fall 2016
- CS-6901 (Applied Algorithms)
Winter 2015
- CS-2000 (Collaborative and Emergent Behavior)
- CS-3719 (Theory of Computation and Algorithms)
- CS-6743 (Complexity of Computational Problems)
Fall 2014
- CS-6901 (Applied Algorithms)
Winter 2014
- CS-2742 Logic for Computer Science
- CS-2000 (Collaborative and Emergent Behavior)
Fall 2013
- CS-2711 (Introduction to Algorithms and Data Structures)
Winter 2013
- CS-2742 Logic for Computer Science
- CS-3719 (Theory of Computation and Algorithms)
- CS-6783 (Applied Algorithms)
Winter 2012:
- CS-2000 (Collaborative and Emergent Behavior)
  - Here is the lab for the second module of the course.
  - Here are the quiz notes for the second quiz.
  - Just for convenience, here are all slides together for the computation and logic.
- CS-3719 (Theory of Computation and Algorithms)
- CS-6783 (Applied Algorithms)
Fall 2011:
- CS-2742 (Logic for Computer Science)
- CS-67XX (Computability and Logic)
Winter 2011: CS-3719 (Theory of Computation and Algorithms)
Winter 2010: CS-6743 (Complexity of Computational Problems)
Fall 2009:
- CS-2711 (Introduction to Algorithms and Data Structures)
- CS-2742 Logic for Computer Science
Winter 2009: CS-2711 (Introduction to Algorithms and Data Structures)
Fall 2008:
- CS-2742 (Logic for Computer Science)
- CS-6743 (Complexity of Computational Problems)
Winter 2008: CS-2711 (Introduction to Algorithms and Data Structures)
Fall 2007: CS-6743 (Complexity of Computational Problems)
Fall 2005: CMPT 307 (Data structures and algorithms) at Simon Fraser University (Surrey)
Winter 2004: CSC 364 (Computational complexity and computability)
Winter 2004: COSC 3101 at York University
Fall 2003: CSC 364 (Computational complexity and computability)
Summer 2003: CSC 364 (Computational complexity and computability), Wednesday section