Date 
Topic 
Required Reading 
Notes 
Assignments Out 
Slides 
8/22 
Intro, propositions, truth tables 
2.1 



8/27 
Conditional statements 
2.2 

Homework 1, due in hardcopy at the start of class on 9/3 

8/29 
Valid and invalid arguments 
2.3 



9/3 
Proof practice, conditional worlds 


Homework 2, due in hardcopy at the start of class on 9/10 

9/5 
Conditional worlds, proof by contradiction 




9/10 
Predicates and quantifiers 
3.1, 3.2 

Homework 3, due in hardcopy at the start of class on 9/17 

9/12 
Negations of quantified statements, multiple quantifiers 
3.3 



9/17 
Predicate logic proofs 
3.4 

Homework 4, due in hardcopy at the start of class on 9/24 

9/19 
Intro to "real" proofs, even and odd 
4.1 



9/24 
Rational numbers 
4.2 



9/26 
Divisibility, unique prime factorization theorem, quotientremainder theorem 
4.3, 4.4 

Homework 5, due in hardcopy at the start of class on 10/1 

10/1 
More quotientremainder theorem 




10/3 
Proof by contraposition and contradiction, $\sqrt{2}$ is irrational 
4.5, 4.6 

Homework 6, due in hardcopy at the start of class on 10/8 

10/8 
Sequences, Mathematical induction 
5.1, 5.2 



10/9 
Exam 1 




10/10 
More induction 
5.3 

Homework 7, due in hardcopy at the start of class on 10/17 

10/17 
Strong induction 
5.4, 5.5 



10/22 
More strong induction 


Homework 8, due in hardcopy at the start of class on 10/29 

10/24 
Sets 
6.1 



10/29 
Sets II 
6.2 



10/31 
Sets III 
6.3 

Homework 9, due in hardcopy at the start of class on 11/7 

11/5 
Functions, 11 and onto 
7.1, 7.2 



11/7 
Function composition 
7.3 



11/12 
Cardinality 
7.4 



11/14 
Counting, multiplication rule 
9.1, 9.2 

Homework 10, due in hardcopy at the start of class on 11/21 

11/19 
Addition rule 
9.3 



11/21 
Pigeonhole principle, combinations 
9.4, 9.5 



11/26 
Relations: reflexive, symmetric, transitive 
8.1, 8.2 

Homework 11, due in hardcopy at the start of class on 12/3 

12/3 
Equivalence relations 
8.3 


