CS301K - Foundations of Logical Thought: Spring 2014

Home Syllabus Schedule Review

Schedule

This is a tentative schedule for the semester, and as such is subject to change. Text in green is for changes made due to inclement weather.
Date Topics Readings and Assignments
Week 1
1/13: M Introduction
Syllabus
Propositional Logic
Assigned:
Piazza Intro
Piazza Participation 1
1/15: W Propositional Logic (continued)
Before Class:
DJV: 1.1
Assigned:
Extra Credit 1
1/17: M Propositional Logic (continued)
No discussion section first week
Before Class:
DJV: 1.2
Week 2:
1/20: M Class cancelled for Martin Luther King Jr. Holiday  
1/22: W Propositional Logic (continued)
Before Class:
DJV: 1.5
Due:
Piazza Intro
1/24: F Inclement Weather Assigned:
Homework 1
Week 3
1/27: M Inference Rules
 
1/29: W Inference Rules (continued)
 
1/31: F Inference Rules (continued)
Fangkai Substitutes
Due:
Homework 1
Assigned:
Homework 2
Week 4
2/3: M Set Theory Intro
Before Class:
DJV: 1.3, 1.4
2/5: W Predicate Logic
Before Class:
DJV: 2.1, 2.2
2/7: F Inclement Weather  
Week 5
2/10: M Predicate Logic (continued)
Due:
Homework 2
Assigned:
Homework 3
2/12: W Predicate Logic (continued)
 
2/14: F Predicate Logic (continued)
 
Week 6
2/17: M Proof Techniques (continued)
Assigned:
Homework 4
Before Class:
DJV: 3.1, 3.2

2/19: W Proof Techniques (continued)
Due:
Homework 3
Before Class:
DJV: 3.3, 3.4

2/21: F Proof Techniques (continued)
Before Class:
DJV: 3.5

Week 7
2/24: M Proof Techniques (continued)
Before Class:
DJV: 3.6

2/26: W Exam 1 Review Before Class:
DJV: 3.7
Due:
Homework 4

2/28: F Exam 1
Due 2/27 by 10pm:
Extra Credit 1
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 1

Week 8
3/3: M Proof Techniques (continued)
Sets
Before Class:
DJV: 1.3, 1.4, 2.3
Assigned:
Piazza Participation 2
Extra Credit 2
3/5: W Sets (continued)
Before Class:
DJV: 4.1
3/7: F Sets (continued)
Set Proofs
Before Class:
DJV: 3.2, 3.3
Assigned:
Homework 5
SPRING BREAK - NO CLASS
Week 9
3/17: M Set Proofs (continued)
Before Class:
DJV: 3.4, 3.5
3/19: W Binary Relations
Before Class:
DJV: 4.1, 4.2
3/21: F Binary Relations (continued)
Before Class:
DJV: 4.3
Due:
Homework 5
Assigned:
Homework 6
Week 10
3/24: M Binary Relations (continued)
Before Class:
DJV: 4.4
3/26: W Binary Relations (continued)
 
3/28: F Equivalence Relations
Before Class:
DJV: 4.6
Week 11
3/31: M Equivalence Relations (continued)
Due:
Homework 6
Assigned:
Homework 7
4/2: W Equivalence Relations (continued)
 
4/4: F Equivalence Relations (continued)
 
Week 12
4/7: M Exam 2 Review Due:
Homework 7
4/9: W Exam 2
Due 4/8 by 10pm:
Extra Credit 2
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 2
4/11: F Functions
Before Class:
DJV: 5.1
Assigned:
Piazza Participation 3
Extra Credit 3
Week 13
4/14: M Functions (continued)
Before Class:
DJV: 5.2
4/16: W Functions (continued)
Before Class:
DJV: 5.3
Assigned:
Homework 8
4/18: F Functions (continued)
Before Class:
DJV: 5.4
Week 14
4/21: M Induction
Before Class:
DJV: 6.1
4/23: W Induction (continued)
Before Class:
DJV: 6.2
Due:
Homework 8
Assigned:
Homework 9
4/25: F Induction (continued)
Before Class:
DJV: 6.3, 6.4
Week 15
4/28: M Induction (continued)
 
4/30: W Induction (continued)
 
5/2: F Final Review
Due:
Homework 9
Finals Week
5/13: T Final Exam (9:00-12:00 noon)
Location: PAI 4.42
Due night before final by 10pm:
Extra Credit 3
Before Class:
Study Tools
Bring To Class:
Algebra Reference
Logic Reference
Due:
Piazza Participation 3