分からない理由3 標準的な集合の記法が書いていない
2.1.1で集合は標準的な記法を用いると書いているので、これが分からないんですね。標準的な方法を知らないので、分かる訳けないですね。
標準的な集合の記法を覚えよう!!
「プログラミング言語の基礎概念」や「プログラミング言語の基礎理論」、「論理と計算の仕組み」、「プログラムの意味論」が良いそうです。
集合の基礎的な所を勉強しましょう。
http://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/sf05w/resume1.pdf
ノートに図を書いたり、色々調べて大分覚えました。