CS 2800 — Mathematical Foundations of Computing
General Information
Covers the mathematics that underlies most of computer science. Topics include mathematical induction; logical reasoning and proof techniques; propositional and predicate logic; 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.
Full Cornell course description (FA26)
Credits: 4
Prerequisites and Enrollment
Prerequisites: MATH 1110; CS 1110 or CS 1112; or equivalents.
Recorded Offerings
| Semester | Listed instructors | Course details |
|---|---|---|
| Fall 2026 | Anke van Zuylen, Erasmo Tani | Roster / syllabus |
| Spring 2026 | Anke van Zuylen | Roster / syllabus |
Workload and General Advice
Student contributions have not been added yet. Consult the offering’s syllabus for assignments and assessment details.
Student Experiences
No testimonials yet.
Course information checked against Cornell’s Spring and Fall 2026 rosters on September 18, 2026. The listed semesters are verified examples, not a complete offering history.