Loading page · 正在加载页面
Loading page · 正在加载页面
Carnegie Mellon University · 15-151
计算机科学数学基础
Logic, sets, induction, functions, combinatorics, mathematical proof, experimentation, and collaboration for first-year computer science students.
Subject：Discrete Mathematics
Level：Introductory
Suggested stage：Year 1 (inferred)
Public-material edition：2017
Language：English
Videos：Not verified
Assignments / solutions：Available / Available
No prerequisites.
Start here
Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.
Use these to browse a complete resource collection; the section above links directly to individual study items.
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.
Carnegie Mellon University School of Computer Science · verified 2026-08-03