Schedule
|
Date
|
Topics
|
Complete
before Class
|
|
Week 1
|
|
8/27: W
|
Introduction
Class Website
|
|
|
8/29: F
|
Boolean Logic
|
LM 1.1 – 1.4, 2.1
|
|
Week 2
|
|
9/1: M
|
Labor
Day (no class)
|
|
|
9/3: W
|
Boolean Logic
|
LM 2.2 - 2.5
|
|
9/5: F
|
Circuit Design
|
LM 2.6 – 2.10
|
|
Week 3
|
|
9/8: M
|
Boolean Proofs
|
LM 3.1, 3.2
|
|
9/10: W
|
Boolean Identities
|
LM 3.3
|
|
9/12: F
|
Boolean Inference Rules
|
LM 3.4
|
|
Week 4
|
|
9/15: M
|
Boolean Natural Deduction Proofs
|
|
|
9/16: T
|
Note unusual shift to Tuesday for LMs
|
LM 3.5, 3.6
|
|
9/17: W
|
Predicate Logic
|
LM 4.1
|
|
9/19: F
|
Predicate Logic
|
LM 4.2
|
|
Week 5
|
|
9/22: M
|
Predicate Logic
|
LM 4.3, 4.4
|
|
9/24: W
|
Predicate Logic Proofs
|
LM 5.1
|
|
9/26: F
|
Predicate Logic Proofs
|
DUE:
Circuits
Project
|
|
Week 6
|
|
9/29: M
|
Predicate Logic Proofs
|
LM 5.2a
|
|
10/1 W
|
Predicate Logic Proofs
|
LM 5.2b, 5.3
|
|
10/3: F
|
Exam
1
|
|
|
Week 7
|
|
10/6: M
|
Translating Knowledge into Logic
|
LM 6.1, 6.2
|
|
10/8: W
|
Translating Knowledge into Logic
|
LM 6.3
|
|
10/10: F
|
Translating Knowledge into Logic
|
LM 6.4, 6.5
|
|
Week 8
|
|
10/13: M
|
Proof Techniques
|
LM 7.1 – 7.2
|
|
10/15: W
|
Proof Techniques
|
LM 7.3 - 7.4
|
|
10/17: F
|
Proof Techniques
|
LM 7.5
|
|
Week 9
|
|
10/20: M
|
Proof Techniques
|
LM 7.6 – 7.7
|
|
10/22: W
|
Induction
|
LM 7.8
|
|
10/24: F
|
Induction
|
LM 7.9
|
|
Week 10
|
|
10/27: M
|
Induction
|
LM 7.10
|
|
10/29: W
|
Other Proof Topics
|
LM 7.11 – 7.14
|
|
10/31: F
|
Exam
2
|
|
|
Week
11
|
|
11/3: M
|
Sets, Finite State Machines
|
LM 8.1, 8.2
|
|
11/5: W
|
Sets
|
LM 8.3
|
|
11/7: F
|
Sets
|
LM 8.4
|
|
Week
12
|
|
11/10: M
|
Sets (Note: We are
doing these out of order.)
|
LM 8.7, 8.8
|
|
11/12: W
|
Sets
|
LM 8.5
|
|
11/14: F
|
Sets
|
LM 8.6
|
|
Week
13
|
|
11/17: M
|
Relations
|
LM 9.1, 9.2
|
|
11/19: W
|
Relations, Sense and Nonsense
|
LM 9.3, 9.4
|
|
11/21: F
|
Relations
|
LM 9.5
|
|
Week
14
|
|
11/24: M
|
Equivalence Relations
|
LM 9.6
|
|
11/26: W
|
Functions
|
LM 10.1
|
|
11/28: F
|
THANKSGIVING
|
|
|
Week 15
|
|
12/1: M
|
Functions
|
LM 10.2, 10.3
|
|
12/3: W
|
Functions
|
LM
10. 4 DUE: FSM Project
|
|
12/5: F
|
Final Review
|
|
|
Finals Week
|
|
12/13: Sat
|
Final Exam (2:00-5:00 noon) in WAG 101
|
Bring
To Class:
Logic Cheat Sheet
Sets Cheat Sheet
|
|