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
4432CS 2800 LEC 001
Meeting Pattern
MWF
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
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.
Class Number & Section Details
4973CS 2800 DIS 201
Meeting Pattern
R
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4974CS 2800 DIS 202
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4975CS 2800 DIS 203
Meeting Pattern
W
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4976CS 2800 DIS 204
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4977CS 2800 DIS 205
Meeting Pattern
R
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4978CS 2800 DIS 206
Meeting Pattern
R
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4979CS 2800 DIS 207
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4980CS 2800 DIS 208
Meeting Pattern
W
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4981CS 2800 DIS 209
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4982CS 2800 DIS 210
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4983CS 2800 DIS 212
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4984CS 2800 DIS 213
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
4985CS 2800 DIS 214
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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
6519CS 2800 DIS 215
Meeting Pattern
F
Aug 25 - Dec 8, 2025
Instructors
Moeller, M
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.
