|
Week 1
:
Jan 19 – Jan 23
|
|
Lectures
|
Tues: Sets and Functions
|
|
Reading
|
Rosen - 2.1; 2.2; 2.3
|
|
Assignments
|
RamCT Quiz on Sets and Functions RamCT Quiz on Sets and Functions (due 02/05 by 9:30 am)
|
|
Lectures
|
Thurs: In Class Work Day (optional)
|
|
Week 2
:
Jan 26 – Jan 30
|
|
Lectures
|
Tues: Propositions and Predicates
|
|
Reading
|
Rosen - 1.1; 1.2; 1.3; 1.4
|
|
Assignments
|
RamCT Quiz on Propositions and Predicates (due 02/05 by 9:30 am)
|
|
Lectures
|
Thurs: Inference Rules
|
|
Reading
|
Rosen – 1.6
|
|
Assignments
|
RamCT Quiz on Inference Rules (due 02/05 by 9:30 am)
|
|
Week 3
:
Feb 02 – Feb 06
|
|
Lectures
|
Tues: Exam #1 Review Topics; and optional in class work day
|
|
Exams
|
Thurs: Exam #1 (in class - Thurs 02/05)
|
|
Week 4
:
Feb 09 – Feb 13
|
|
Lectures
|
Tues: Proof Techniques
|
|
Reading
|
Rosen - 1.7
|
|
Assignments
|
RamCT Quiz on Proof Techniques RamCT Quiz on Sets and Functions (due 02/19 by 9:30 am)
|
|
Lectures
|
Thurs: Program Verification
|
|
Reading
|
Rosen – 5.5
|
|
Assignments
|
RamCT Quiz on Proof Techniques (due 02/19 by 9:30 am)
|
|
Week 5
:
Feb 16 – Feb 20
|
|
Lectures
|
Tues: Exam #2 Review Topics; and optional in class work day
|
|
Exams
|
Thurs: Exam #2 (in class - Thurs 02/19)
|
