COMP 172: Discrete Structures, Fall 2014

Administrivia

Resources

Schedule

Note: Professor Kirlin took over as the instructor of this course on September 15.

Date Topic Required Reading Notes Assignments Out Slides
9/15 Propositional logic proofs chap 2      
9/17 Propositional logic proofs chap 2      
9/19 Predicate logic 3.1, 3.2   Self-graded homework 2, due at the start of class on 9/22 (solutions on Moodle).
Problem set 2, due at the start of class on 9/26.		  
9/22 Multiple quantifiers 3.3      
9/24 Rules of inference with quantifiers 3.4      
9/26 Formal proofs with quantifiers     Exam 1 practice problems, not to turn in (solutions on Moodle).
Problem set 3, due at the start of class on 10/6.		  
9/29 Exam 1        
10/1 Writing proofs in words 4.1      
10/3 More proofs with words 4.2      
10/6 Divisibility 4.3   Self-graded homework 4, due at the start of class on 10/10 (solutions on Moodle).
Problem set 4, due at the start of class on 10/13.		  
10/8 Division into cases and the quotient-remainder theorem 4.4      
10/10 Contradiction and contraposition 4.5      
10/13 Sequences and summations 5.1   Self-graded homework 5, due at the start of class on 10/17 (solutions on Moodle).
Problem set 5, due at the start of class on 10/22.		  
10/15 Induction I 5.2      
10/17 Induction II 5.3      
10/20 (Fall break)        
10/22 Strong induction I 5.4      
10/24 Strong induction II 5.5      
10/27 Sets 6.1      
10/29 Review        
10/31 Exam 2        
11/3 Sets II 6.2   Self-graded homework 6, due at the start of class on 11/7 (solutions on Moodle).
Problem set 6, due at the start of class on 11/10.		  
11/5 Sets III 6.3      
11/7 Functions 7.1      
11/10 One-to-one and onto 7.2      
11/12 Function composition 7.3   Self-graded homework 7, due at the start of class on 11/17 (solutions on Moodle).
Problem set 7, due at the start of class on 11/19.		  
11/14 Cardinality and countability 7.4      
11/17 Counting and probability 9.1      
11/19 Multiplication rule 9.2      
11/21 Addition rule 9.3   Self-graded homework 8, due at the start of class on 11/24 (solutions on Moodle).
Problem set 8, due at the start of class on 12/1.		  
11/24 Pigeonhole principle 9.4      
11/26 (Thanksgiving)        
11/28 (Thanksgiving)        
12/1 Combinations 9.5      
12/3 Exam 3     Self-graded homework 9 and problem set 9; hw due at the start of class on 12/8 (solutions on Moodle),
problem set due at the start of class on 12/10.		  
12/5 Relations 8.1      
12/8 Reflexive, symmetric, and transitive relations 8.2      
12/10 Equivalence relations 8.3   Practice relation problems (solutions on Moodle)