"Pure-Science" Problems

Usually characterized by a small number of well-defined, relatively independent, first-order effects.
Input and required output usually well defined.
Measure of success usually well defined.
Usually well-suited to algorithmic (or recipe-like) solution.
Description or specification languages are, almost by definition, adequate!

(e.g. minimize the number of ANDs and ORs in a combinational logic function)