CSC165H1: Mathematical Expression and Reasoning for Computer Science

Hours

36L/12T

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.

Corequisite
CSC108H1/ CSC120H1/(equivalent programming experience)
Exclusion
CSC111H1, CSC236H1, CSC240H1, MAT102H5, CSCA67H3, MATA67H3
Distribution Requirements
Science
Breadth Requirements
The Physical and Mathematical Universes (5)