CSC165H1: Mathematical Expression and Reasoning for Computer Science

Hours: 
36L/24T

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: 
Exclusion: 
Distribution Requirements: 
Science
Breadth Requirements: 
The Physical and Mathematical Universes (5)