Computer Science / CS 0175 · Atom · ~20 seconds
The Abstract Model
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
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.
Show
The Random Access Machine, the Turing machine, and the Lambda calculus each carry proofs, not products.
Watch for
Ignoring hardware detail is the feature.
Unlocks
- Nothing yet depends on this.