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%

Section I (Proofs) of Lecture Notes on Mathematics for Computer Science by Eric Lehman, Thomson Leighton and Albert Meyer

2. Mathematical Reasoning, Writing and Proof by Ted Sundstrom