Skip to main content
CIT 5920 — Fall 2025
Sli.do Ed Discussion PrairieLearn Panopto Gradescope Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Back to homepage
  1. How to Communicate Formally with Discrete Math
  2. /
  3. News
  4. /
  5. Website Launched
Edit page

Website Launched

One minute to read announcements urgent

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

  1. Bookmark this website - it will be updated regularly with new materials
  2. Check Panopto for lecture recordings and grade submissions
  3. Join PrairieLearn for online homework assignments (link coming soon)
  4. Review the textbook recommendations - especially Stephen Davies’ excellent “A Cool Brisk Walk Through Discrete Mathematics”

See you in class,
Prof. Lumbroso