Date 
Topics 
Readings and Assignments 
Week 1 
1/13: M 
Introduction
Syllabus
Propositional Logic

Assigned:
Piazza Intro
Piazza Participation 1

1/15: W 
Propositional Logic (continued)

Before Class:
DJV: 1.1
Assigned:
Extra Credit 1

1/17: M 
Propositional Logic (continued)
No discussion section first week

Before Class:
DJV: 1.2

Week 2: 
1/20: M 
Class cancelled for Martin Luther King Jr. Holiday


1/22: W 
Propositional Logic (continued)

Before Class:
DJV: 1.5
Due:
Piazza Intro

1/24: F 
Inclement Weather

Assigned:
Homework 1

Week 3 
1/27: M 
Inference Rules


1/29: W 
Inference Rules (continued)


1/31: F 
Inference Rules (continued)
Fangkai Substitutes

Due:
Homework 1
Assigned:
Homework 2

Week 4 
2/3: M 
Set Theory Intro

Before Class:
DJV: 1.3, 1.4

2/5: W 
Predicate Logic

Before Class:
DJV: 2.1, 2.2

2/7: F 
Inclement Weather


Week 5 
2/10: M 
Predicate Logic (continued)

Due:
Homework 2
Assigned:
Homework 3

2/12: W 
Predicate Logic (continued)


2/14: F 
Predicate Logic (continued)


Week 6 
2/17: M 
Proof Techniques (continued)

Assigned:
Homework 4
Before Class:
DJV: 3.1, 3.2

2/19: W 
Proof Techniques (continued)

Due:
Homework 3
Before Class:
DJV: 3.3, 3.4

2/21: F 
Proof Techniques (continued)

Before Class:
DJV: 3.5

Week 7 
2/24: M 
Proof Techniques (continued)

Before Class:
DJV: 3.6

2/26: W 
Exam 1 Review

Before Class:
DJV: 3.7
Due:
Homework 4

2/28: F 
Exam 1

Due 2/27 by 10pm:
Extra Credit 1
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 1

Week 8 
3/3: M 
Proof Techniques (continued)
Sets

Before Class:
DJV: 1.3, 1.4, 2.3
Assigned:
Piazza Participation 2
Extra Credit 2

3/5: W 
Sets (continued)

Before Class:
DJV: 4.1

3/7: F 
Sets (continued)
Set Proofs

Before Class:
DJV: 3.2, 3.3
Assigned:
Homework 5

SPRING BREAK  NO CLASS 
Week 9 
3/17: M 
Set Proofs (continued)

Before Class:
DJV: 3.4, 3.5

3/19: W 
Binary Relations

Before Class:
DJV: 4.1, 4.2

3/21: F 
Binary Relations (continued)

Before Class:
DJV: 4.3
Due:
Homework 5
Assigned:
Homework 6

Week 10 
3/24: M 
Binary Relations (continued)

Before Class:
DJV: 4.4

3/26: W 
Binary Relations (continued)


3/28: F 
Equivalence Relations

Before Class:
DJV: 4.6

Week 11 
3/31: M 
Equivalence Relations (continued)

Due:
Homework 6
Assigned:
Homework 7

4/2: W 
Equivalence Relations (continued)


4/4: F 
Equivalence Relations (continued)


Week 12 
4/7: M 
Exam 2 Review

Due:
Homework 7

4/9: W 
Exam 2

Due 4/8 by 10pm:
Extra Credit 2
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 2

4/11: F 
Functions

Before Class:
DJV: 5.1
Assigned:
Piazza Participation 3
Extra Credit 3

Week 13 
4/14: M 
Functions (continued)

Before Class:
DJV: 5.2

4/16: W 
Functions (continued)

Before Class:
DJV: 5.3
Assigned:
Homework 8

4/18: F 
Functions (continued)

Before Class:
DJV: 5.4

Week 14 
4/21: M 
Induction

Before Class:
DJV: 6.1

4/23: W 
Induction (continued)

Before Class:
DJV: 6.2
Due:
Homework 8
Assigned:
Homework 9

4/25: F 
Induction (continued)

Before Class:
DJV: 6.3, 6.4

Week 15 
4/28: M 
Induction (continued)


4/30: W 
Induction (continued)


5/2: F 
Final Review

Due:
Homework 9

Finals Week 
5/13: T 
Final Exam (9:0012:00 noon)

Location:
PAI 4.42
Due night before final by 10pm:
Extra Credit 3
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 3
