|
Week 1 Day 1
:
Tues Jan 19
|
Lectures
|
Sets and Functions
|
|
Reading
|
Rosen - 2.1; 2.2; 2.3
|
|
Assignments
|
Canvas Quiz on Sets and Functions due Feb 4
|
|
Day 2
:
Thurs Jan 21
|
Lectures
|
do quiz 1 in canvas
|
|
Week 2 Day 3
:
Tues Jan 26
|
Lectures
|
No lecture
|
|
Reading
|
Rosen - 1.1; 1.2; 1.3; 1.4
|
|
Day 4
:
Thurs Jan 28
|
Lectures
|
Propositions and Predicates
|
|
Reading
|
Rosen – 1.6
|
|
Assignments
|
Canvas Quiz on Propositions and Predicates due Feb 4
|
|
Week 3 Day 5
:
Tues Feb 2
|
Lectures
|
No lecture - campus closed due to snow storms
|
|
Day 6
:
Thurs Feb 4
|
Lectures
|
Inference rules
|
|
Mid Term Review Topics
|
|
Assignments
|
Canvas Quiz on Inference Rules due Feb 4
|
|
Week 4 Day 7
:
Tues Feb 9
|
Exams
|
Mid-term test: the first three lectures; in class
|
|
Reading
|
Rosen - 1.7
|
|
Assignments
|
Canvas Quiz on Proof Techniques due Sept Feb 18
|
|
Day 8
:
Thurs Feb 11
|
Lectures
|
Proof Techniques
|
|
Reading
|
Rosen – 5.5
|
|
Assignments
|
Canvas Quiz on Program Verification due Feb 18
|
|
Week 5 Day 9
:
Tues Feb 16
|
Lectures
|
Program Verification
|
|
Final Review Topics
|
|
Day 10
:
Thurs Feb 18
|
|
Exams
|
Final Exam; in class
|
|
Assignments
|
Last two quizzes due
|
