CS 2800
Last Updated
- Schedule of Classes - January 5, 2026 3:59PM EST
Classes
CS 2800
Course Description
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 1 Terms Offered 2025FA
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
-
Meeting Pattern
- MWF Statler Hall 185-Aud
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
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
-
Meeting Pattern
- R Snee Hall Geological Sci 1150
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Hollister Hall 206
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Frank H T Rhodes Hall 253
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- R Olin Hall 145
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 206
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 401
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Bill and Melinda Gates Hll 114
- Jan 20 - May 5, 2026
Instructors
van Zuylen, A
-
Additional Information
Instruction Mode: In Person
Share
Disabled for this roster.
