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; andfinite-state machines. These topics are discussed in the context ofapplications to many areas of computer science.
Prerequisites Prerequisite or corequisite: MATH 1110 or equivilent, one programming course or permission of instructor.
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
Graded(Letter grades only)
Class Number & Section Details
4885CS 2800 LEC 001
Meeting Pattern
MWF
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
F
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5145CS 2800 DIS 201
Meeting Pattern
W
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5146CS 2800 DIS 202
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5147CS 2800 DIS 203
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5148CS 2800 DIS 204
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5149CS 2800 DIS 205
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5150CS 2800 DIS 206
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5151CS 2800 DIS 207
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5152CS 2800 DIS 208
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5153CS 2800 DIS 209
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5154CS 2800 DIS 210
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5155CS 2800 DIS 211
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5156CS 2800 DIS 212
Meeting Pattern
F
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5157CS 2800 DIS 213
Meeting Pattern
W
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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
5158CS 2800 DIS 214
Meeting Pattern
R
Jan 20 - May 5, 2026
Instructors
Halpern, J
Tardos, E
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.
