CS 23022 Discrete Structures for CS

MW 9:15 - 10:30 am @ SMH 110
Office Hours: MSB 352 @ M 10:30-11:30am, T 2:30-3:30pm, and by appointment

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

Exam #1 (instructions) (studyguide)
Monday, Feb. 27th, during class
Topics include chapter 1 sections 1-8. See studyguide for more details.
Exam #2 (instructions) (studyguide)
Wednesday, Apr. 5th, during class
Topics include chapter 2 sections 1-4, chapter 5 sections 1 and 3. See studyguide for more details, and the review notes for examples.
Exam #3 - Final (instructions) (studyguide)
Tuesday, May 9th, 10:15AM - 12:30PM
Topics focus on chapter 6 sections 1-4, chapter 7 sections 1,2,4, and chapter 10 (as covered in class). See studyguide for more details.

With PJ Leyden and Zane Williamson

M 3:45pm-6:45pm PJ
T 1:00pm-5:00pm Zane
W 9:00am-12:00pm Zane; 3:45pm-6:45pm PJ
R 1:00pm-5:00pm Zane

CS:23022 Discrete Structures for CS Spring 2017