CMSC 27100: Discrete Mathematics

This page is intended for Section 1 of CMSC 27100 at the University of Chicago, Winter 2023.

Lecture Schedule

The information below will be updated throughout the quarter. In the materials column, [R x.y], [F x.y], [BH x.y] refer to sections of the recommended textbooks by Rosen, Fleck, and Blitzstein & Hwang, respectively. We'll also use the Logic and Proof textbook (LP) for some of the early material.

		topic	materials
Week 1	#01 W Jan 4	Propositional Logic	[intro], [notes], [F 2.1-2.4], [R 1.1], [LP 2],
Week 1	#02 F Jan 6	Natural Deduction	[notes], [R 1.6] (roughly), [LP 3], Proof Machine
Week 2	#03 M Jan 9	Predicates and Quantifiers	[notes], [F 2.10-2.17], [R 1.4-1.5], [LP 7]
	#04 W Jan 11	Predicate Calculus	[notes], [LP 8], Proof Machine
	#05 F Jan 13	Set Theory	[notes], [F 5.1-5.7], [R 2.1, 2.2]
Week 3	#06 W Jan 18	Relations and Functions	[notes], [F 6-8], [L 13, 15]
Week 3	#07 F Jan 20	Divisibility	[notes], [F 4.1-4.3, 4.6], [R 4.1.1-4.1.3]
Week 4
	#08 M Jan 23	Greatest Common Divisors	[notes], [F 4.5-4.7, 4.6], [R 4.3.6-4.3.8]
	#09 W Jan 25	Modular Arithmetic	[notes], [F 4.12-4.14],[R 4.4.2]
	#10 F Jan 27	Inverses; Introduction to Induction	[notes], [F 4.4,11] [R 5.1]
Week 5
	#11 M Feb 30	More Induction	[notes], [F 11] [R 5]
	#12 W Feb 1	Strong Induction	[notes], [R 5.2.3, 5.3.2], [F 11.11]
	#13 F Feb 3	Fundamental Theorem of Arithmetic	[notes], [R 4.3.8, 5.2.3, 5.3.2], [F11.11,17.3,11.9]
Week 6	#14 M Feb 6	Intro to Combinatorics	[notes], [R 6.1,6.2]
	T Feb 7	Midterm Exam	KPTC # 106, 6:30 pm - 8:30 pm
	#15 W Feb 8	Pigeonholes and Permutations	[notes], [R 6.2,6.3]
	#16 F Feb 10	Permutations and Combinations	[notes], [R 6.3]
Week 7	#17 M Feb 13	Binomial Theorem	[notes], [R 6.4]
	#18 W Feb 15	Binning Problems	[notes], [R 6.5]
	#19 F Feb 17	Discrete Probability Spaces	[notes], [R 7.1]
Week 8	#20 M Feb 20	Conditional Probability and Independence	[notes], [R 7.2,7.3]
	#21 W Feb 22	Random Variables	[notes], [R 7.27],[BH 3.1-3.3]
	#22 F Feb 24	Expectation	[notes], [R 7.4.1-7.4.3],[BH 4.1,4.2,4.4-4.5]
Week 9	#23 M Feb 27	Variance and Deviation Bounds	[notes], [R 7.4.7-7.4.8], [BH 4.6]
	#24 W Mar 1	Deviation Bounds and the Law of Large Numbers	[notes], [R 7.4.8], [BH 10.1.3,10.2]
	#25 F Mar 3	Proof Techniques and Strategies	[notes], [R 1.7, 1.8] (partially)
Finals	R Mar 9	Final Exam	RY #251, 3:00 pm - 5:00 pm