情報アーキテクチャ入門 「情報の基礎離散 .pptVIP

情報アーキテクチャ入門「情報の基礎離散数学」第１章 離散集合と述語 １．１ 集合 今回の学習キーワード（ｐ．１－ｐ．１０） １．１ 集合 関心領域（ドメイン）、集合、ラベル、多重集合、有限集合、無限集合、空集合、外延的記法、枚挙法、内包的記法、変数、自然数、普遍集合（全体集合）、変数、変数の値、変域、定数、定義域、定数記号、定数ラベル、変数記号、割り当て、代入、変数ラベルの付け替え、解釈、パラメータ（媒介変数、任意定数）、離散集合、可付番集合（可算集合）、稠密（チュウミツ）、部分集合、真部分集合、反射性、反対称性、推移性、集合族、ベキ集合、集合演算、和、積、補、和集合（結び集合、合併集合）、積集合（交わり、共通集合）、補集合、直和、直和分割、整除、商、剰余、剰余演算、法とする合同関係、最小剰余、２の補数表現、ベン図、オイラー図 １．１ 集合 ｐ.１ 関心領域（ドメイン） domain：関心を払っている対象の集まり 例：整数、北海道の大学生etc 集合 set：次の性質をもっているもの ?ある対象が集合に所属するかどうかが明確 ?２つの対象が同じかどうか判断できる 要素（元） element：集合に属する対象 集合と要素の例： 未来大学の学生、ある個人 １年Ｅ組の学生、ある個人 １．１ 集合 ｐ.１ ラベル label：同じものかどうか判別するための文字列や記号であらわした目印（名称、固有名詞）（標識のようなもの） 集合のラベル例：「１桁の自然数」 要素のラベル例：「２」（２という自然数のラベル）、学生の名前 etc 多重集合 multiset：同じラベルの要素を複数含む集合 例：学生の集合で同姓同名があっても学籍番号で区別がつく 集合の表現 ｐ.２ 集合：大文字 capital letter Ａ，Ｂ，Ｃ 要素：小文字 small letter ａ，ｂ，ｃ ある対象ａが集合Ａの要素であるとき、 ａはＡに属する（含まれる a is contained by A）、 Ａはａを含む A contains a ａ∈Ａ または Ａ?ａ と書く ａがＡの要素でないことは、A does not contain a ａ∈Ａまたは Ａ?ａ と書く 集合の表現 ｐ.２ 有限集合 finite set：要素数が有限である集合 無限集合 infinite set：要素数が無限である集合 空集合 empty set：要素をひとつも含まない集合、φ（ギリシャ文字でファイと読むも可）であらわす 外延的記法（枚挙法） denotation： 要素を列挙して 「,」で区切り、｛ ｝でくくる 例：１桁の自然数の集合Ａ Ａ＝｛１，２，３，４，５，６，７，８，９｝ 集合の表現 ｐ.３ 内包的記法 connotation： Ａ＝｛ｎ｜ｎは１０以下の自然数｝ 一般形 Ａ＝｛ｘ｜Ｐ（ｘ）｝ ｘは要素を表す変数 variable Ｐ（ｘ）は述語 predicateで、各要素ｘについての条件を示す 複数の条件を書くとき、論理的表現が必要 集合の表現 ｐ.３ 論理的表現： かつ and または or でない not 自然数 natural number の集合 Ｎ： ０を含める／含めない 集合の表現 ｐ.４ 前提としてのドメイン： 省略する場合が多い 普遍集合 universal set, universe：背景のドメイン（前提としてのドメイン）が集合であるとき、これを普遍集合という または全体集合という、 Ｕで表すことが多い 以下、ドメインと全体集合は同じとする 例：未来大学の学生という集合に対して、ドメインは、「北海道の学生」、「日本の学生」 etc 集合の表現 ｐ.４ 集合が等しい equal：全く同じ要素だけをすべて含んでいる（すべての要素が同じ） 例： A={a, b, c, d} B={b, d, a, c} A=B 集合の表現 ｐ.４ 変数 variable：あるドメイン内の任意の要素（これを変数の値 valueという）を取りうる 変域 domain：そのドメインをその変数の変域という （変数の取りうる要素のすべて） 定数 constant ：ドメイン内の特定の要素 定義域：とりあえず変域と同じと考える（写像のところで、議論する） 集合の表現 ｐ.４ 定数記号：ある１つの要素を表す記号 単に定数 constant ともいう 定数ラベル：定数記号と同じ（記号＝ラベル） 変数記号：ドメイン内のどれかの要素を表す 記号（すべての要素