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
Regular Academic Session.Choose one lecture and one discussion.
Credits and Grading Basis
4 Credits
GradeNoAud(Letter grades only (no audit))
Class Number & Section Details
15666CS 2800 LEC 001
Meeting Pattern
MWF
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
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/
Class Number & Section Details
15667CS 2800 DIS 201
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15668CS 2800 DIS 202
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15669CS 2800 DIS 203
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15670CS 2800 DIS 204
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15671CS 2800 DIS 205
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15672CS 2800 DIS 206
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15673CS 2800 DIS 207
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15674CS 2800 DIS 208
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15675CS 2800 DIS 209
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15676CS 2800 DIS 210
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15677CS 2800 DIS 211
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Class Number & Section Details
15678CS 2800 DIS 212
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
van Zuylen, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.