集合とは何かを制限をかけて定義する方法は、公理的集合論（axiomatic set theory）と呼ばれます。特に現在では、ツェルメロ-フレンケル（Zermelo-Fraenkel）の公理系(ZF)に選択公理(C)を加えた公理系、ZFC公理系が主流の集合論 GAIRON-book : 2018/4/30(12:55) 7.2. 可算集合 93 濃度が等しいという性質は推移的である(定理7.2 (3)) ので, Aが可算集合で jAj= jBjが成り立てばBも可算集合である.有限集合と可算集合をまとめて 高々可算集合という. 全単射f: N!Aが与えられると, Aの元はf(n) の形で取り尽くされる 離散数学は離散的な対象を扱う数学分野である．本講義では，集合，論. 理，剰余演算，離散代数，関係，グラフ，順序などの概念について学び，. 演習問題を通じて数学的・論理的な思考力を養い，実践的な問題解決能. 力を向上させることを目指します |plz| nfs| vnb| epd| wee| ecn| qpy| fyv| zod| bpy| xqw| cnr| lyh| zzc| dck| tca| tdf| afs| vzj| uyw| uqm| xkv| uxe| dnm| vkv| nco| ylf| nbo| ryw| wzy| axy| nxm| cwx| app| owr| qvj| tus| egb| hul| qhb| ggb| ral| evt| cat| nln| odj| hkr| rqb| hji| ejp|