CS301K - Foundations of Logical Thought:
Fall, 2014

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