CSC165H1: Mathematical Expression and Reasoning for Computer Science



Introduction to abstraction and rigour. Informal introduction to logical notation and reasoning. Understanding, using and developing precise expressions of mathematical ideas, including definitions and theorems. Structuring proofs to improve presentation and comprehension. General problem-solving techniques. Running time analysis of iterative programs. Formal definition of Big-Oh. Diagonalization, the Halting Problem, and some reductions. Unified approaches to programming and theoretical problems.

CSC108H1/ CSC120H1/(equivalent programming experience)
Distribution Requirements
Breadth Requirements
The Physical and Mathematical Universes (5)
Mode of Delivery
In Class