** Topics and reading assignments may change. Exam dates are final. **

Date | Topics | Reading | Slides | Assignments | |||
---|---|---|---|---|---|---|---|

Week 1 | 1/25/2015 | Course overview, Propositional Logic | Sections 1.1 - 1.2 | Lecture 1 | |||

1/29/2015 | Logical Equivalences, Predicate Logic | Sections 1.3 - 1.4 | Lecture 2 | ||||

Week 2 | 2/2/2015 | Predicate Logic | Section 1.5 | Lecture 3 | |||

2/4/2015 | Recitation: Problem Set 1 selected solutions |
||||||

2/5/2015 | Logical arguments, Rules of inference | Section 1.6 | Lecture 4 Rules of Inference |
Homework 1 due Solution Logical Equivalences |
|||

Week 3 | 2/9/2015 | Mathematical proofs | Sections 1.7-1.8 | Lecture 5 | |||

2/11/2015 | Recitation: Problem Set 2 | ||||||

2/12/2015 | More about proofs | Lecture 6 | Homework 2 due Solution |
||||

Week 4 | 2/16/2015 | No Class |
|||||

2/18/2015 | Recitation: Problem Set 3 | ||||||

2/19/2015 | Number Theory | Sections 4.1,4.3 | Lecture 7 | ||||

Week 5 | 2/23/2015 | Sets | Sections 2.1-2.2 | Lecture 8 | Homework 3 due Solution |
||

2/26/2015 | Exam 1
| ||||||

Week 6 | 3/2/2015 | Functions | Section 2.3 | Lecture 9 | |||

3/5/2015 | Sequences and sums | Section 2.4 | Lecture 10 | ||||

Week 7 | 3/9/2015 | Induction | Section 5.1 | Lecture 11 | |||

3/11/2015 | Recitation: Problem Set 4 | ||||||

3/12/2015 | Strong Induction, the Well-Ordering Principle | Section 5.2 | Lecture 12 | Homework 4 due Solution |
|||

Week 8 | 3/16/2015 | Recursion and Structural Induction | Section 5.3 | Lecture 13 | |||

3/18/2015 | Recitation: Problem Set 5 | ||||||

3/19/2015 | Recursion and Structural Induction | Section 5.3 | Lecture 14 | ||||

Week 9 | No Classes - Spring Break - Woo hoo! |
||||||

Week 10 | 3/30/2015 | Counting | Section 6.1 | Lecture 15 | Homework 5 due Solution |
||

4/1/2015 | Recitation: Problem Set 6 | ||||||

4/2/2015 | The Pigeonhole Principle, Permutations and Combinations | Sections 6.2-6.3 | Lecture 16 | ||||

Week 11 | 4/6/2015 | More Permutations and Combinations | Sections 6.4 - 6.5 | Lecture 17 | Homework 6 due Solution |
||

4/8/2015 | Solutions to selected Exam 2 Review Problems | ||||||

4/9/2015 | Exam 2 |
||||||

Week 12 | 4/13/2015 | Probability | Sections 7.1 - 7.2 | Lecture 18 | |||

4/16/2015 | More Probability | Sections 7.2 | Lecture 19 | ||||

Week 13 | 4/20/2015 | Baye's Theorem, Finite automata | Section 7.3 | Lecture 20 | Homework 7 due Solution |
||

4/22/2015 | Recitation: Problem Set 7 | ||||||

4/23/2015 | Regular Languages, Regular Expressions, NFAs | Lecture 21 | |||||

Week 14 | 4/27/2015 | Pushdown Automata | Lecture 22 | ||||

4/29/2015 | Recitation: Problem Set 8 | ||||||

4/30/2015 | Turing machines | Lecture 23 | Homework 8 due Solution |
||||

Week 15 | 5/4/2015 | Infinite Sets, Languages | Lecture 24 | ||||

5/6/2015 | Recitation: Problem Set 9 | ||||||

5/7/2015 | Decidability | Lecture 25 | Homework 9 due Solution |
||||

Week 16 | 5/11/2015 | P vs NP | Lecture 26 | ||||

Final Exam - Wed. May 20, 11:30am-2:30pm - West Hall Aud |

created by Stacy Patterson, 1/9/2014