
Solving Problems ◾ 123
4.7 SUMMARY
e four problem-solving techniques—problem denition, logical reason-
ing, decomposition, and abstraction—that make up the foundation of this
chapter form an interconnected structure that are at the core of compu-
tational thinking. Problem denitions are decomposed into functional
requirements that are typically expressed abstractly using forms borrowed
from logic. Deductive reasoning is based in logical reasoning. e 3-tiered
design model is itself a decomposition into three abstract modules, one
of which is focused on the logic of the processing solution. Similarly, top-
down design, prototyping, a