|
Week 1 First Lecture
:
Tues Aug 23
|
Lectures
|
Sets and Functions
|
|
Reading
|
Online Tutorial
|
|
Assignments
|
Canvas Quiz on Sets and Functions due Sept 9 by 3pm
|
|
Week 2 Second Lecture
:
Tues Aug 30
|
Lectures
|
Propositions and Predicates
|
|
Reading
|
Online Tutorial
|
|
Assignments
|
Canvas Quiz on Propositions and Predicates due Sept 9 by 3pm
|
|
Week 2 Third Lecture
:
Thurs Sept 1
|
Lectures
|
Inference rules
|
|
Reading
|
Online Tutorial
|
|
Assignments
|
Canvas Quiz on Inference Rules due Sept 9 by 3pm
|
|
Week 3 Fourth Lecture
:
Tues Sept 6
|
Lectures
|
Proof Techniques
|
|
Reading
|
Online Tutorial
|
|
Assignments
|
Canvas Quiz on Proof Techniques due Sept 16 by 3pm
|
|
Week 4 Fifth Lecture
:
Tues Sept 13
|
Lectures
|
Program Verification
|
|
Reading
|
Online Tutorial
|
|
Assignments
|
Canvas Quiz on Program Verification due Sept 16 by 3pm
|
