COMP 172: Discrete Structures, Fall 2016

Administrivia

Instructor: Phillip Kirlin
Office hours: Mon 1-3, Wed 10-11, Tue/Thu 2-3, or by appointment, in Ohlendorf 420.
Syllabus
Final exam: Tuesday, December 13, 1pm, FJ-B (not regular classroom)

Resources

Logic reference sheet
Sets reference sheet
Set definitions (not supplied on tests)
Interesting articles
- "Case Study: How I Got the Highest Grade in my Discrete Math Class"
- "The Myth of 'I'm Bad at Math'"

Schedule

Date	Topic	Required Reading	Assignments Out
8/24	Introduction, propositions, truth tables	2.1
8/26	Conditional statements	2.2
8/29	Valid and invalid arguments	2.3	Homework 1, due at the start of class on 9/2
8/31	Valid and invalid arguments, continued
9/2	Proof techniques and conditional worlds		Homework 2, due at the start of class on 9/9
9/5	Labor Day
9/7	Conditional worlds, continued
9/9	Practice with conditional worlds		Homework 3, due at the start of class on 9/16
9/12	Predicates and quantifiers	3.1
9/14	Predicates and quantifiers II	3.2
9/16	Multiple quantifiers	3.3	Homework 4, due at the start of class on 9/23
9/19	Rules of inference for quantified statements	3.4
9/21	Proofs with quantified statements
9/23	Even and odd	4.1	Homework 5, due at the start of class on 9/30
9/26	More even and odd
9/28	Rational, divides	4.2, 4.3
9/30	Practice (prof out of town)		Homework 6, due at the start of class on 10/7
10/3	More divides
10/5	Quotient-remainder theorem	4.4
10/7	More QRT
10/10	Review for Midterm I
10/12	Sequences and series	5.1	Homework 7, due at the start of class on 10/21
10/14	Induction I	5.2
10/17	Fall break
10/19	Induction II	5.3
10/21	Strong Induction I	5.4	Homework 8, due at the start of class on 10/28
10/24	Strong Induction II
10/26	Induction practice
10/28	Sets I	6.1	Homework 9, due at the start of class on 11/4
10/31	Sets II	6.2
11/2	Sets III	6.3
11/4	Sets wrapup		Homework 10, due at the start of class on 11/9 (Wednesday!) HW 10 practice problems and solutions
11/7	Functions	7.1
11/9	One-to-one and onto	7.2
11/11	Composition of functions	7.3
11/14	Functions wrapup
11/16	Intro to counting and probability	9.1
11/18	Multiplication rule	9.2	Homework 11, due at the start of class on 11/28 (Monday!)
11/21	Addition rule	9.3
11/23	Thanksgiving
11/25	Thanksgiving
11/28	Pigeonhole principle	9.4
11/30	Combinations	9.5
12/2	More combinations		Homework 12, due at the start of class on 12/7 (Wednesday!)
12/5	Relations	8.1, 8.2
12/7	More relations	8.3