Discrete Mathematics, Fall 2025: Schedule

Home – Schedule

Notes

All slides from this class can be copied and reused without any need for explicit permissions. Note that some slides are based on other people's slides (e.g., some are from the slides accompanied by the textbook); so please resolve copyright issues on your own.
Topics for future classes are tentative.

Lecture	Date	Topic	Lecture Topic	Textbook Reading	Additional Reading	Assignment
1	Wednesday Sept. 24	Mathematical Logic	Propositional Logic (pptx, pdf, video: part1, video: part2)	1.1, 1.2, 1.3 (An English version of the textbook)	SAT: Introduction and Applications (online; offline) SAT: Algorithms (online; offline)	Assignment 1 (pdf)
2	Friday Sept. 26		Predicate Logic (pptx, pdf, video: part1, video: part2)	1.4, 1.5	Chapter 1.1 of An Introduction to Prolog Programming