Course page for CS1210 - Proof Techniques

Back to my homepage

Syllabus:

Direct proofs, proof by contradiction, logic, mathematical induction, sets and relations, invariants etc.

Resources:

How to write mathematics - A guide by Martin Erickson
Section I (Proofs) of Lecture Notes on Mathematics for Computer Science by Eric Lehman, Thomson Leighton and Albert Meyer

Reference books:

1. Discrete Mathematics and Its Applications by Kenneth Rosen
2. Mathematical Reasoning, Writing and Proof by Ted Sundstrom

Assignments

Assignment 1

Division of credit:

Attendance: 10%, Assignments: 20%, Quizzes: 20%, Final Exam: 50%

Academic Honesty Policy