CS 2800

CS 2800

Course information provided by the 2025-2026 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 2025FA, 2025SP, 2024FA, 2024SP

View Enrollment Information

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

  • 4 Credits GradeNoAud

  • 15666 CS 2800   LEC 001

    • MWF
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

    Students in CS 2800 can register for an optional 1.0-credit Academic Excellence Workshop (AEW) to support their learning. AEWs are collaborative two-hour weekly problem-solving sessions led by peer educators who have previously taken this course. AEWs are designed to enhance understanding and deeper comprehension; you do not need to be an Engineering student to enroll. Grading is S/U. Search “ENGRG 1028” in the course catalog to learn more and enroll.
    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

  • 15667 CS 2800   DIS 201

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15668 CS 2800   DIS 202

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15669 CS 2800   DIS 203

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15670 CS 2800   DIS 204

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15671 CS 2800   DIS 205

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15672 CS 2800   DIS 206

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15673 CS 2800   DIS 207

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15674 CS 2800   DIS 208

    • R
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15675 CS 2800   DIS 209

    • F
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15676 CS 2800   DIS 210

    • F
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15677 CS 2800   DIS 211

    • F
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person

  • 15678 CS 2800   DIS 212

    • F
    • Jan 20 - May 5, 2026
    • van Zuylen, A

  • Instruction Mode: In Person