Thomas Fairgrieve

CSC165H1 Lecture Notes - Lecture 1: Software Verification, Computational Science, Numerical Analysis

CSC165H1 Lecture Notes - Lecture 2: Unary Operation, Unary Function, Natural Number

A function f: a -> b is a rule that associates for each element a a to an element in. Defined by pred(x) = x 1 (unary function because it has 1 argumen

CSC165H1 Lecture Notes - Lecture 3: Existential Quantification, If And Only If, Natural Number

Lec03 (professor thomas fairgrieve on thursday, 13th of september): p =&gt; q (implication operator): If p = true and q = true, p =&gt; q is true. If p

All Subjects

Accounting

Mathematics

Statistics

Computer Science

Calculus

Psychology

Management

Biology

Physics

Chemistry

Electrical Engineering

Mechanical Engineering

Marketing

Music

History

Project Management

Business

Architecture

Geography

Science

Nursing

Information Technology

Engineering

English

Finance

Philosophy

Astronomy

Communications

Sociology

Anthropology

Prealgebra

Algebra

Precalculus

Ethics

Geometry

Probability

Economics

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.

Mathematical Expression and Reasoning for Computer Science

Browse the full collection of course materials, past exams, study guides and class notes for CSC165H1 - Mathematical Expression and Reasoning for Computer Science at University of Toronto St. George verified by our community.

Verified Documents at University of Toronto St. George

Verified Documents for All Professors