|
Week 1
:
Aug. 25 - Aug. 29
|
|
Lectures
|
Sets and Functions
|
|
Lectures
|
In Class Work Day (optional)
|
|
Reading
|
Rosen - 2.1; 2.2; 2.3
|
|
Assignments
|
RamCT Quiz on Sets and Functions (due 09/11)
|
|
Week 2
:
Sep. 01 - Sep. 05
|
|
Lectures
|
Propositions and Predicates
|
|
Lectures
|
In Class Work Day (optional)
|
|
Reading
|
Rosen - 1.1; 1.2; 1.3; 1.4
|
|
Assignments
|
RamCT Quiz on Propositions and Predicates (due 09/11)
|
|
Week 3
:
Sep. 08 - Sep. 12
|
|
Lectures
|
Inference Rules; and Exam #1 Review Topics
|
|
Exams
|
Exam #1 (in class - Thurs 09/11)
|
|
Reading
|
Rosen - 1.6
|
|
Assignments
|
RamCT Quiz on Inference Rules (due 09/11)
|
|
Week 4
:
Sep. 15 - Sep. 19
|
|
Lectures
|
Proof Techniques
|
|
Lectures
|
In Class Work Day (optional)
|
|
Reading
|
Rosen - 1.7
|
|
Assignments
|
RamCT Quiz on Proof Techniques (due 09/25)
|
|
Week 5
:
Sep. 22 - Sep. 26
|
|
Lectures
|
Program Verification; and Exam #2 Review Topics
|
|
Exams
|
Exam #2 (in class - Thurs 09/25)
|
|
Reading
|
Rosen - 5.5
|
|
Assignments
|
RamCT Quiz onProgram Verification (due 09/25)
|
