Cornell University · CS 2800
Mathematical Foundations of Computing
计算数学基础
Induction and proof, propositional and predicate logic, sets, functions, relations, graph theory, combinatorics, discrete mathematics, probability, and finite-state machines.
Start with one small step
Official unit 1: Induction and Logical Proof
No path choice or account is required. Start one real official item and OpenStudy will remember where you left off.
Subject：Discrete Mathematics
Level：Intermediate
Suggested stage：Year 2 (inferred)
Public-material edition：2025
Language：English
Videos：Not verified
Assignments / solutions：Not verified / Not verified
Prerequisites
Not explicitly listed by the official source; no assumption made.
Start here
All official course content
Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.
▶Lectures, video & readingCourse content in the official sequence9
Official resource hubs
Use these to browse a complete resource collection; the section above links directly to individual study items.
Source and verification
Every link points to an official university or course-team page. The year identifies the linked public-material edition, not necessarily the latest on-campus offering; a school may have newer materials that are not public. Unknown facts remain unverified rather than guessed.
Cornell University Class Roster · verified 2026-08-22