|
Week 1
:
Jun 15 – Jun 21
|
|
Slides
|
Sets and Functions; Propositions and Predicates
|
|
Reading
|
Rosen - 2.1; 2.2; 2.3; 1.1; 1.2; 1.3; 1.4
|
|
Assignments
|
RamCT Quiz on Sets and Functions (due 06/18/15 by 11:59 pm); RamCT Quiz on Propositions and Predicates (due 06/21 by 11:59 PM)
|
|
Week 2
:
Jun 22 – Jun 28
|
|
Slides
|
Inference Rules
|
|
Reading
|
Rosen – 1.6
|
|
Assignments
|
RamCT Quiz on Inference Rules (due 06/28 by 11:59 pm)
|
|
Week 3
:
Jun 29 – Jul 5
|
|
Exams
|
Mon: Exam #1 (location and time TBD); Exam #1 Review Topics
|
|
Slides
|
Proof Techniques
|
|
Reading
|
Rosen - 1.7 to 1.8
|
|
Assignments
|
RamCT Quiz on Proof Techniques (due 07/01 by 11:59 pm)
|
|
Week 4
:
Jul 6 – Jul 12
|
|
Slides
|
Program Verification
|
|
Reading
|
Rosen – 5.5 -- pp. 372-378
|
|
Assignments
|
RamCT Quiz on Program Verification (due 07/09 by 11:59 pm)
|
|
Exams
|
Fri: Exam #2 (location and time TBD); Exam #2 Review Topics
|
