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

  • 17284 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.
    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

  • 17285 CS 2800   DIS 201

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

  • Instruction Mode: In Person

  • 17286 CS 2800   DIS 202

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

  • Instruction Mode: In Person

  • 17287 CS 2800   DIS 203

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

  • Instruction Mode: In Person

  • 17288 CS 2800   DIS 204

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

  • Instruction Mode: In Person

  • 17289 CS 2800   DIS 205

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

  • Instruction Mode: In Person

  • 17290 CS 2800   DIS 206

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

  • Instruction Mode: In Person

  • 17291 CS 2800   DIS 207

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

  • Instruction Mode: In Person

  • 17292 CS 2800   DIS 208

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

  • Instruction Mode: In Person

  • 17293 CS 2800   DIS 209

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

  • Instruction Mode: In Person

  • 17294 CS 2800   DIS 210

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

  • Instruction Mode: In Person

  • 17295 CS 2800   DIS 211

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

  • Instruction Mode: In Person

  • 17296 CS 2800   DIS 212

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

  • Instruction Mode: In Person