集合の基礎的性質
§1
記号論理、集合の演算
:
[PDF版]
第1−1回
Web教材(1. 記号論理 )
第1−2回
Web教材(2. 集合の演算 )
§2
写像
:
[PDF版]
第2回
Web教材(3. 写像 )
§3
単射、全射
:
[PDF版]
第3回
Web教材(4. 単射、全射 )
§4
関係
:
[PDF版]
第4回
Web教材(5. 関係 )
§5
集合の基数
:
[PDF版]
第5回
Web教材(6. 集合の基数 )
§6
基数の演算
:
[PDF版]
第6回
Web教材(7. 基数の演算 )
§7
Mizarと集合論
:
[PDF版]
/
MML
TARSKI
:
XBOOLE_0
:
XBOOLE_1
第7回
Web教材(8. TARSKIの公理系・XBOOLEについて)
,
CAI
テスト1
:
テスト2
:
テスト3
:
テスト4
:
テスト5
:
テスト6
:
テスト7
:
テスト8
:
テスト9
:
テスト10
:
テスト11
:
テスト12
:
テスト13
:
テスト14
:
テスト15
:
テスト16
:
テスト17
:
テスト18
:
テスト19
:
テスト20
:
テスト21
:
集合の基礎的性質:掲示板
担当:師玉
/
電子メール