Skip to main content

Three Kinds of Models

This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.

State

Computational models come in three working kinds: hardware models built for machines, programming models built for humans writing code, and abstract models built for reasoning about algorithms.

Show

A curriculum meets all three — circuits in one course, coding in another, proofs in a third.

Watch for

Each kind answers to a different customer.