CS 2800

CS 2800

Course information provided by the 2026-2027 Catalog.

Covers the mathematics that underlies most of computer science. Topics include mathematical induction; logical proof; propositional and predicate calculus; sets, functions, and relations; graphs; combinatorics and discrete mathematics; basic probability theory; and finite-state machines. These topics are discussed in the context of applications to many areas of computer science.


Prerequisites MATH 1110 or equivalent, CS 1110 or CS 1112 or equivalent., or

Corequisites MATH 1110 or equivalent, CS 1110 or CS 1112 or equivalent.

Distribution Requirements (SMR-AS)

Last 4 Terms Offered 2026SP, 2025FA, 2025SP, 2024FA

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits GradeNoAud

  •  6612 CS 2800   LEC 001

    • MWF
    • Aug 24 - Dec 7, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

    You may opt to enroll in a 1-credit Academic Excellence Workshop (AEW) to be taken in conjunction with this course. AEWs are weekly collaborative problem-solving workshops designed to enhance student understanding of course material. AEWs are facilitated by upper-level engineering students or CS majors. They are graded S/U based on attendance. In order to attend an AEW, you must enroll in an AEW section, listed under course number ENGRG 1028.

  •  6613 CS 2800   DIS 201

    • R
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6614 CS 2800   DIS 202

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6615 CS 2800   DIS 203

    • W
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6616 CS 2800   DIS 204

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6617 CS 2800   DIS 205

    • R
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6618 CS 2800   DIS 206

    • R
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6619 CS 2800   DIS 207

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6620 CS 2800   DIS 208

    • W
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6621 CS 2800   DIS 209

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6622 CS 2800   DIS 210

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6623 CS 2800   DIS 212

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6624 CS 2800   DIS 213

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6625 CS 2800   DIS 214

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person

  •  6626 CS 2800   DIS 215

    • F
    • Aug 24 - Dec 7, 2026
    • Moeller, M

      van Zuylen, A

  • Instruction Mode: In Person