W1525 Containment

Within these castle walls be forged Mavens of Computer Science ...

— Merlin, The Coder

Nuclear containment

Prerequisites

• W1524 Score!

Research

• Set Theory (Wikipedia)
• Set Theory for Computer Science (Glynn Winskel, University of Cambridge)

Background

Set Basics

By the 1930's, through the work of Godel, Church, Turing and others, it was realized that Set Theory relied on an even more basic concept, that of computability. Computer Science continues to be inspired by Set Theory and understanding Set Theory should facilitate your ability to think abstractly. It is, by its nature, independent of yet critical for programming.

A set is an unordered collection of objects. The objects are referred to as elements or members of the set.

Symbols	Definition
$\left\{\right\}$	The empty set
$\emptyset$	Another way of symbolizing the empty set
$\left\{\alpha ,\beta ,\gamma \right\}$	The set containing the elements $\alpha ,\beta ,\gamma$
$\alpha \in \aleph$	$\alpha$ is a member of the set $\aleph$
$\alpha \notin \aleph$	$\alpha$ is NOT a member of the set $\aleph$
ℕ	The set of natural numbers $\left\{1,2,3,\cdots \right\}$
ℕ0	The set of natural numbers with zero $\left\{0,1,2,3,\cdots \right\}$
ℤ	The set of integers (negative, zero, and positive)
ℝ	The set of real numbers
$X\subset Y$	The set X is a subset of the set Y
$X{\cancel {\subset }}Y$	The set X is NOT a subset of the set Y

A set $X$ is termed a subset of set $Y$ iff every element of $X$ is an element of $Y$. Formally: $X\subset Y\iff \forall z\in X,z\in Y$

Two sets $X$ and $Y$ are equal iff every element of $X$ is an element of $Y$ and vice versa. Formally: $X=Y\iff X\subset Y\land Y\subset X$

Boolean Algebra of Sets

Assume set $U$. The following operations are defined:

Symbols	Name	Definition
$A\cup B$	Union	$\left\{x\mid x\in A\lor x\in B\right\}$
$A\cap B$	Intersection	$\left\{x\mid x\in A\land x\in B\right\}$
${\bar {A}}$	Complement	$\left\{x\in U\mid x\notin A\right\}$

Set Union

The union of two sets $A$ and $B$, both subsets of the set $U$, i.e. $A\cup B$

Set Intersection

The intersection of sets $A$ and $B$, both subsets of the set $U$, i.e. $A\cap B$

Set Complement

Consider the set $A$, a subset of the set $U$

Then ${\bar {A}}$ is the compliment of $A$

Experiment

Getting Started

Continue from the previous project; we'll be editing all of our files there. Enter into the Sources directory of the project.

john-williams@codermerlin: cd ~/Experiences/W1521/Sources/ScenesShell/

References

• Set Theory (Wikipedia)
• Set Theory for Computer Science (Glynn Winskel, University of Cambridge)