Meta

Course Website: https://www.cs.toronto.edu/~shaharry/csc236/

Question Site: https://edstem.org/us/courses/21975/discussion/

Syllabus: https://www.dropbox.com/s/053udsuoyrn6xcp/syllabus.pdf?raw=1

Meeting Time: Wed 6-9PM RM1101 BA2155

Instructor: Harry Sha ([email protected])

Lectures

Lecture 1 - Functions

Lecture 2 - Binary Relations

Lecture 3 - Graphs

Lecture 4 - Induction

Lecture 6 - Recurrences

Correctness

Finite Automata

Tutorials

Tutorial 4 - Induction

Tutorial 5 - Generator Functions