CS 23022 Discrete Structures for CS

TR 3:45 - 5:00 pm @ SMH 111
Office Hours: M 4-5PM & T 2-3PM @ MSB 352, and by appointment

Topics	Subtopics & Slides	Date
Introduction	Book (also try google)
	Syllabus
	Intro
The Foundations: Logic and Proofs	1.1 Propositional Logic	8/30
	1.2 Applications of Prop. Logic	9/1
	1.3 Propositional Equivalences	9/1
	1.4 Predicates and Quantifiers	9/6
	1.5 Nested Quantifiers	9/8
	1.6 Rules of Inference	9/13
	1.7 Intro to Proofs	9/15, 9/20
	1.8 Proof Methods and Strategy	9/22, 9/27
	Ch. 1 Quick Reference
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices	2.1 Sets	9/29
	2.2 Set Operations	10/4
	2.3 Functions	10/11
	2.4 Sequences and Summations	10/13
	Ch. 2 Quick Reference
Induction and Recursion	5.1 Mathematical Induction	10/18, 10/20
	5.3 Recursive Definitions and Structural Induction	10/25
	Ch. 5 Quick Reference
Counting	6.1 The Basics of Counting	10/27
	6.2 The Pigeonhole Principle	11/1
	6.3 Permutations and Combinations	11/8
	6.4 Binomial Coefficients	11/10
	Ch. 6 Quick Reference
Discrete Probability	7.1 An Introduction to Discrete Probability	11/15
	7.2 Probability Theory	11/17
	7.4 Expected Value	11/29
	Ch. 7 Quick Reference
Graphs and Trees	Introduction to Graphs and Trees	12/1, 12/6

Exam #1 (instructions) (studyguide)
Thursday, Oct. 6th, during class
Topics include chapter 1 sections 1-8. See studyguide for more details.
Exam #2 (instructions) (studyguide)
Thursday, Nov. 3rd, during class
Topics include chapter 2 sections 1-4, chapter 5 sections 1 and 3. See studyguide for more details.
Exam #3 - Final (instructions) (studyguide)
Tuesday, Dec. 13th, 7:45AM - 10AM
Topics include chapter 6 sections 1-4, chapter 7 sections 1,2,4, and chapter 10 (as covered in class). See studyguide for more details.

Zane Williamson, TR 4:30-7:30PM
Zijing Zhang, TWR 5:00-7:00PM
Rhett Harner, W 2:00-4:00PM, F 1:00-3:30PM

CS:23022 Discrete Structures for CS Fall 2016