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:005:00 noon) in WAG 101

Bring
To Class:
Logic Cheat Sheet
Sets Cheat Sheet

