Schedule
|
Date
|
Topics
|
Complete
before Class
|
|
Week 1
|
|
8/24: W
|
Introduction Class Website
|
|
|
8/26: F
|
Boolean Logic
|
LM 1.1 – 1.4, 2.1
HM-OED
|
|
Week 2
|
|
8/29: M
|
Boolean Logic
|
LM 2.2 - 2.5
|
|
8/31: W
|
Boolean Logic, Circuits Project
|
LM 2.6 – 2.9
|
|
9/2: F
|
Boolean Logic Proofs
|
LM 3.1, 3.2 HM
1
|
|
Week 3
|
|
9/5: M
|
LABOR DAY
|
|
|
9/7: W
|
Boolean Identities and Inference Rules
|
LM 3.3 , 3.4
|
|
9/9: F
|
Boolean Natural Deduction Proofs
|
LM 3.5 HM 2
|
|
Week 4
|
|
9/12: M
|
Boolean Natural Deduction Proofs, etc.
|
LM 3.6, 3.7
|
|
9/14: W
|
Predicate Logic
|
LM 4.1
|
|
9/16: F
|
Predicate Logic
|
LM 4.2 HM 3
|
|
Week 5 Exam 1 this week
|
|
9/19: M
|
Predicate Logic
|
LM 4.3
DUE: Circuits
Project
|
|
|
University Lecture, 7:00 p.m.,
Bass
|
|
|
9/20: T
|
University Lecture, 7:00 p.m.,
Bass
|
|
|
9/21: W
|
Exam Review
|
LM 4.4 HM
4
|
|
|
Exam 1 7:00 – 9:00 pm WEL 1.308
|
|
|
9/23: F
|
Viz Lab Visit
|
|
|
Week 6
|
|
9/26: M
|
Predicate Logic Proofs
|
LM 5.1
|
|
9/28: W
|
How to be a Freshman
|
LM 5.2
|
|
9/30: F
|
Predicate Logic Proofs
|
LM 5.3 HM
5
|
|
Week 7
|
|
10/3: M
|
Predicate Logic Proofs
|
LM 5.4, 5.5
|
|
10/5: W
|
Translating Knowledge into Logic
|
LM 6.1
University Lecture essay
|
|
10/7: F
|
Translation Knowledge into Logic
|
LM 6.2, 6.3 HM
6
|
|
Week 8
|
|
10/10: M
|
English into Logic
|
LM 7.1, 7.2
|
|
10/12: W
|
English into Logic
|
LM 7.3, 7.4, 7.5
|
|
10/14: F
|
English into Logic
|
LM 7.6
HM 7
|
|
Week 9
|
|
10/17: M
|
Proof Techniques
|
LM 8.1, 8.2, 8.3
|
|
10/19: W
|
Proof Techniques
|
LM 8.4
|
|
10/21: F
|
Proof Techniques
|
LM 8.5
HM 8
|
|
Week 10 Exam 2 this week
|
|
10/24: M
|
Exam Review
|
HM 9
|
|
Exam 2 7:00 – 9:00 pm UTC 2.112A
|
|
|
10/26: W
|
Guest speaker: Real Companies use Logic
|
LM 8.6
|
|
10/28: F
|
Proof Techniques
|
LM 8.7
|
|
Week 11
|
|
10/31: M
|
Proof Techniques
|
|
|
11/2: W
|
Proof Techniques
|
LM 8.8, 8.11
|
|
11/4: F
|
Proof Techniques
|
LM 8.12 - 8.15; Optional: 8.9, 8.10
HM 10, HM 11 (Optional)
|
|
Week 12
|
|
11/7: M
|
Sets, Finite State Machines
|
LM 9.1, 9.2
|
|
11/9: W
|
Sets
|
LM 9.3
|
|
11/11: F
|
Sets
|
LM 9.4
HM 12
|
|
Week 13
|
|
11/14: M
|
Sets
|
LM 9.5
|
|
11/16: W
|
Sets
|
LM 9.6
|
|
11/18: F
|
Sets, Relations
|
LM 9.8, 10.1
HM 13
|
|
Week 14
|
|
11/21: M
|
Relations
|
LM 10.2, 10.3
|
|
11/23: W
|
THANKSGIVING
|
|
|
11/25: F
|
|
|
Week 15
|
|
11/28: M
|
Relations
|
LM 10.4
|
|
11/30: W
|
Functions
|
LM 10.5, 10.6
|
|
12/2: F
|
Functions
|
LM 11.1, 11.3
HM 14
|
|
Week 16
|
|
12/5: M
|
Final Review
|
DUE: FSM Project
|
|
Finals Week
|
|
12/9: F
|
Final Exam (2:00 - 5:00)
|
|
|