UGS 303 - Foundations of Logical Thought:
Fall, 2016

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)