CSCI 2200: Schedule

Spring 2015

** 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/2015Solutions 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