「TMの会」 プログラム | ▲ このウインドウを閉じる |
/ 2014年 3月19日 / |
「数学基礎論」 (「集合 (セット)」) の基本概念を説明しました。
(1) 集合は並べられるか [ 選択公理、整列集合 ]
(2) 「言語」 (記号列の集合) と 「モデル」 (記号列の関係)
(3) 「理論」 {主題、条件1 ・・・、条件n} と 「論理」 {条件1 ・・・、条件n}
(4) 関数 f と関係 R [ 「関係」 を 「並び」 で表す ]
● TMD の読みかた
▲ ページのトップ
▼ このウインドウを閉じる |