Date 
Topic 
Required Reading 
Notes 
Assignments Out 
Slides 
1/9 
Intro, propositions, truth tables 
2.1 



1/11 
Conditional statements 
2.2 



1/14 
Valid arguments 
2.3 

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

1/16 
Valid arguments, continued 




1/18 
Proof techniques, conditional worlds 




1/23 
Conditional worlds with and without contradictions 


Homework 2, due in hardcopy at the start of class on 1/30 

1/25 
Propositional logic proof practice 




1/28 
Quantifiers 
3.1 



1/30 
Quantifiers II 
3.2 

Homework 3, due in hardcopy at the start of class on 2/6 

2/1 
Negations of quantified statements 
3.3 



2/4 
Rules of inference for quantified statements 
3.4 



2/6 
Proofs with quantified statements 


Homework 4, due in hardcopy at the start of class on 2/13 

2/8 
The language of "informal" proofs, even and odd 
4.1 



2/11 
More even and odd 




2/13 
Rationals, divides 
4.2, 4.3 

Homework 5, due in hardcopy at the start of class on 2/20 

2/15 
Divides and quotientremainder theorem 
4.4 



2/18 
Proof by contradiction 
4.5 



2/20 
Review 




2/21 (Thu) 
Midterm 1 




2/22 
Unique prime factorization theorem, chapter 4 wrapup 
4.6 

Homework 6, due in hardcopy at the start of class on 2/27 

2/25 
Sequences and series 
5.1 



2/27 
Induction I 
5.2 

Homework 7, due in hardcopy at the start of class on 3/6 

3/1 
Induction II 
5.3 



3/4 
Strong induction I 
5.4 



3/6 
Strong induction II 
5.5 

Homework 8, due in hardcopy at the start of class on 3/20 

3/8 
(No class; professor at conference) 




3/18 
Induction practice 




3/20 
Sets I 
6.1 



3/22 
Sets II 
6.2 

Homework 9, due in hardcopy by 5pm on 3/27 

3/25 
Sets III 
6.3 



3/27 
Set practice 




3/29 
(Easter break) 




4/1 
Intro to functions 
7.1 



4/3 
11 and onto 
7.2 



4/5 
Function composition 
7.3 

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

4/8 
Cardinality and countability 
7.4 



4/10 
Intro to counting 
9.1 



4/12 
Multiplication Rule 
9.2 

Homework 11, due in hardcopy by 5pm on 4/17 

4/15 
Addition Rule 
9.3 



4/17 
Pigeonhole principle 
9.4 



4/19 
Combinations 
9.5 

Homework 12, due in hardcopy by 5pm on 4/17 

4/22 
Relations 
8.1, 8.2 



4/24 
Relations II 
8.3 

Homework 13, never due 

4/26 
(URCAS) 



