Course Materials

Required Textbook

Discrete Mathematics and Its Applications by Kenneth Rosen

Covers all course topics with extensive examples and exercises.

Lecture Materials

All slides available as PDFs:

• Lecture: Set Theory
• Lecture: Binary Relations
• Lecture: Boolean Algebra
• Lecture: Formal Logic
• Lecture: Flow Networks
• Lecture: Automata Theory
• Lecture: Combinatorics

Cheatsheets

Cheatsheets are available for quick reference:

• Set Theory Cheatsheet
• Relations Cheatsheet
• Boolean Algebra Cheatsheet
• Formal Logic Cheatsheet
• Graph Theory Cheatsheet
• Automata Theory Cheatsheet
• Combinatorics Cheatsheet

Online Resources

Recommended

• MIT OpenCourseWare: Mathematics for CS
• Stanford CS103: Mathematical Foundations

Tools

• Typst: For writing mathematical documents (recommended for homework)
• LaTeX: Alternative for mathematical typesetting
• Wolfram Alpha: Checking computations