The goal of this chapter is to motivate students to understand sets and tuples (sequences with finitely many non-OM components) as objects to which certain operations can be applied. By working with a set as a collection of objects and realizing that a set can be a member of another set, the student begins to think of a set itself as an object. Along these same lines, we try to strengthen the notion of a proposition as an object by giving many examples in which a proposition is an element of a set. We also attempt to objectify sets and tuples by having the student define ISETL funcs that return a set or a tuple.
KeywordsIncome Prefix Dick Cuted Padding
Unable to display preview. Download preview PDF.