Skip to main content
SWStudyWalks Search

Computer Science / Unit 4   CS 0175 short lesson, about 20 seconds

The Abstract Model

Captions available

The idea

An abstract model is a computational model for thinking rather than running — a tool for devising algorithms, analyzing efficiency, and proving what algorithms can and cannot do.

In practice

The Random Access Machine, the Turing machine, and the Lambda calculus each carry proofs, not products.

Where people slip

Ignoring hardware detail is the feature.

Your place on the trail

Every lesson rests on earlier ones and opens later ones. Tap any to jump.

Unlocks

  • Nothing yet depends on this.

Something wrong in this lesson? Flag it  ·  Sources for Computer Science