Carnegie Mellon University · 15-122

Principles of Imperative Computation

命令式计算原理

Correct-by-design imperative programming in C0 and C, with contracts, invariants, complexity, and fundamental data structures and algorithms.

Subject：Data Structures

Level：Intermediate

Suggested stage：Year 2 (inferred)

Public-material edition：2026

Language：English

Videos：Not verified

Assignments / solutions：Available / Not verified

Prerequisites

CMU 15-112 or equivalent

Start here

All official course content

Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.

20 direct tasks

▶Lectures, video & readingCourse content in the official sequence10

Topic 1: Values and Expressions Topic 2: Control Flow Topic 3: Functions Topic 4: Data Collections Topic 5: Object-Oriented Programming Topic 6: Recursion Topic 7: Testing and Debugging Topic 8: Files and Exceptions Topic 9: Basic Algorithms Topic 10: Program Design

✓Assignments & practiceOpen the matching problem or assignment page10

Official problem practice: Values and Expressions Official problem practice: Control Flow Official problem practice: Functions Official problem practice: Data Collections Official problem practice: Object-Oriented Programming Official problem practice: Recursion Official problem practice: Testing and Debugging Official problem practice: Files and Exceptions Official problem practice: Basic Algorithms Official problem practice: Program Design

Official resource hubs

Use these to browse a complete resource collection; the section above links directly to individual study items.

Official syllabus and coursework calendarCarnegie Mellon University School of Computer Science ↗

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.

Carnegie Mellon University School of Computer Science · verified 2026-08-02

Open official course ↗Report a resource issue

← All courses