Date 
Topic 
Required Reading 
Notes 
Assignments Out 
Slides 
8/23 
Introduction, propositions, truth tables 
2.1 



8/25 
Conditional statements 
2.2 



8/28 
Valid and invalid arguments 
2.3 

Homework 1, due at the start of class on 9/6 

8/30 
Valid and invalid arguments, continued 




9/1 
Conditional worlds 




9/4 
Labor Day 




9/6 
Conditional worlds, continued 


Homework 2, due at the start of class on 9/13 

9/8 
Proof practice 




9/11 
Predicates and quantifiers 
3.1 



9/13 
Negations of quantified statements 
3.2 

Homework 3, due at the start of class on 9/20 

9/15 
Statements with multiple quantifiers 
3.3 



9/18 
Rules of inference with quantifiers 
3.4 



9/20 
Proofs with quantified statements 


Homework 4, due at the start of class on (Friday) 9/29 

9/22 
Proof practice 




9/25 
The language of proofs, even and odd 
4.1 



9/27 
More even and odd 




9/29 
Rational and divides 
4.2, 4.3 

Homework 5, due at the start of class on Wed 10/4 

10/2 
Divides, quotientremainder theorem 
4.4 



10/4 
Proof by contradiction 
4.5 



10/6 
Chapter 4 wrapup 




10/9 
Review for test 




10/11 
Sequences and summations 
5.1 



10/13 
Induction I 
5.2 

Homework 6, due at the start of class on Fri 10/20 

10/16 
Fall break 




10/18 
Induction II 
5.3 



10/20 
Strong induction I 
5.4 

Homework 7, due at the start of class on Wed 10/25 

10/23 
Strong induction II 
5.5 



10/25 
Induction practice 




10/27 
Sets I 
6.1 

Homework 8, due at the start of class on Wed 11/1 

10/30 
Sets II: Element proofs 
6.2 



11/1 
Sets III: Algebraic proofs 
6.3 



11/3 
Set practice problems 


Homework 9, due at the start of class on Wed 11/8 

11/6 
Functions intro 
7.1 



11/8 
11 and onto 
7.2 



11/10 
More 11 and onto 




11/13 
Function composition 
7.3 

Homework 10, due at the start of class on Mon 11/20 

11/15 
Intro to probability and counting 
9.1 



11/17 
Multiplication rule 
9.2 



11/20 
Addition rule 
9.3 



11/22 
Thanksgiving break 




11/24 
Thanksgiving break 




11/27 
Pigeonhole principle 
9.4 

Homework 11, due at the start of class on Fri 12/1 

11/29 
Combinations 
9.5 



12/1 
More combinations 


Homework 12, due at the start of class on Wed 12/6 

12/4 
Relations I 
8.1, 8.2 



12/6 
Relations II 
8.3 


