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
HMOED

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)


