chapter 3Construction Techniques

When we build, let us think that webuild forever.

—John Ruskin (1819–1900)

To construct an object, we need some kind of description. If we’re lucky, the description might include a construction technique. Otherwise, we may need to use our wits and our experience to construct the object. This chapter focuses on gaining some construction experience.

The only way to learn a technique is to use it on a wide variety of problems. The technique of inductive definition for describing a set will be applied to various sets of numbers, strings, lists, binary trees, and Cartesian products. The technique of recursive definition for describing a function or procedure will be applied to processing numbers, strings, lists, ...

Get Discrete Structures, Logic, and Computability, 4th Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.