COMP 172: Discrete Structures, Fall 2013

Administrivia

Resources

Schedule

Date Topic Required Reading Notes Assignments Out Slides
8/22 Intro, propositions, truth tables 2.1      
8/27 Conditional statements 2.2   Homework 1, due in hardcopy at the start of class on 9/3  
8/29 Valid and invalid arguments 2.3      
9/3 Proof practice, conditional worlds     Homework 2, due in hardcopy at the start of class on 9/10  
9/5 Conditional worlds, proof by contradiction        
9/10 Predicates and quantifiers 3.1, 3.2   Homework 3, due in hardcopy at the start of class on 9/17  
9/12 Negations of quantified statements, multiple quantifiers 3.3      
9/17 Predicate logic proofs 3.4   Homework 4, due in hardcopy at the start of class on 9/24  
9/19 Intro to "real" proofs, even and odd 4.1      
9/24 Rational numbers 4.2      
9/26 Divisibility, unique prime factorization theorem, quotient-remainder theorem 4.3, 4.4   Homework 5, due in hardcopy at the start of class on 10/1  
10/1 More quotient-remainder theorem        
10/3 Proof by contraposition and contradiction, $\sqrt{2}$ is irrational 4.5, 4.6   Homework 6, due in hardcopy at the start of class on 10/8  
10/8 Sequences, Mathematical induction 5.1, 5.2      
10/9 Exam 1        
10/10 More induction 5.3   Homework 7, due in hardcopy at the start of class on 10/17  
10/17 Strong induction 5.4, 5.5      
10/22 More strong induction     Homework 8, due in hardcopy at the start of class on 10/29  
10/24 Sets 6.1      
10/29 Sets II 6.2      
10/31 Sets III 6.3   Homework 9, due in hardcopy at the start of class on 11/7  
11/5 Functions, 1-1 and onto 7.1, 7.2      
11/7 Function composition 7.3      
11/12 Cardinality 7.4      
11/14 Counting, multiplication rule 9.1, 9.2   Homework 10, due in hardcopy at the start of class on 11/21  
11/19 Addition rule 9.3      
11/21 Pigeonhole principle, combinations 9.4, 9.5      
11/26 Relations: reflexive, symmetric, transitive 8.1, 8.2   Homework 11, due in hardcopy at the start of class on 12/3  
12/3 Equivalence relations 8.3