Essentials

Course Description

Mathematical induction with emphasis on applications relevant to computer science. Aspects of mathematical logic, correctness proofs for iterative and recursive algorithms, solutions of linear and divide-and-conquer recurrences, introduction to automata and formal languages.

Exclusion (CSCB38H), CSC236H, (CSC238H), CSC240H

Prerequisite [CSCA48H & CSCA65H OR CSCA67H] plus [CGPA 2.5 or enrolmnent in a CSC subject POSt]

Syllabus PDF

Instructor

Dr. Anna Bretscher
Email: bretscher@utsc.utoronto.ca
Office: IC493
Phone: (416) 208-4745

Teaching Assistant

Nick Cheng
Email: nick@utsc.utoronto.ca

Timetable

Lectures Wednesdays 15:10-17:00 in IC220
Office Hours Mondays 11:10-12, Wednesdays 1:10-2:00, Fridays 12:10-1.

 

Plagiarism Policy

Professor Pitt on the St. George campus has a great webpage on plagiarism. Please read it before beginning your first homework.