Welcome to CIT 5920: Discrete Mathematics for Computer Science for Fall 2025!
Our course website is now live and will be your primary resource throughout the semester. Here you’ll find:
Lecture notes and recordings posted after each class
Module pages with readings, slides, and supplementary materials
Homework assignments (both online and written components)
Recitation materials to reinforce concepts through practice
Office hours schedule for getting help when you need it
Course announcements to keep you updated
What to Expect
This course will teach you the mathematical language and tools to formally express ideas that can be translated into code. You’ll learn to think like a computer scientist - breaking down complex problems, recognizing patterns, and creating abstractions.
Our journey will take us through:
Sets, relations, and functions
Counting and combinatorics
Discrete probability
Propositional and predicate logic
Mathematical proofs and induction
Introduction to graph theory
Getting Started
Bookmark this website - it will be updated regularly with new materials
Check Panopto for lecture recordings and grade submissions
Join PrairieLearn for online homework assignments (link coming soon)
Review the textbook recommendations - especially Stephen Davies’ excellent “A Cool Brisk Walk Through Discrete Mathematics”