t_wの輪郭
RSS
集合論の公理体系
公理
集合論
ZF
2024/8/18 14:52:00
無限集合の公理
集合論の公理体系
Zermelo-Fraenkelの集合論
置換公理
ZFから置換公理を除いた公理系がZermeloの集合論
ZFの集合論
ZFに選択公理を加えた集合論がZFC
ZFC
外延性公理
冪集合の公理
空集合の公理
対の公理
『論理データベース論考』
分出公理
和集合の公理
正則性公理
本
データ設計
論理データベース
T字型ER手法
意味の対象説
言語ゲームは意味の使用説を提示した概念
データベース
クラス論理
BGの公理系
コード体系
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
aRb
ウィトゲンシュタインは『探求』で1対1対応を否定した
ヒルベルトのプログラム
T字型ER手法の作図ルール
event : event
resource : event
『哲学探究』
言語ゲーム
命題論理学
記号論理学
仮言命題
T字の右辺には述語を書く
『論理哲学論考』
写像理論
ルートヴィヒ・ウィトゲンシュタイン
entityはresourceとeventに分けられる
第一階述語論理
resource : resource
真理関数
「entityは管理したいモノ」というのは正確ではない
T字型ER手法のentityは名辞
T字形ER手法はaRbを関数表現として解釈しない
T字の左辺には主語を書く
在庫はentityではない
排中律
単項述語論理
クルト・ゲーデル
関係の論理
合併集合
空集合の公理
冪集合の公理
対の公理
外延性公理
Bernays-Gödelの集合論
ZFから置換公理を除いた公理系がZermeloの集合論
置換公理
axiom of infinity
Zermeloの集合論
Zermelo-Fraenkelの集合論
集合論の公理体系
無限集合
内包の公理
無限集合の公理
部分集合の公理
多項述語論理
述語論理
チューリング
集合論
正則性公理
ZF
和集合の公理
DB論考
公理的集合論
BG
分出公理
「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」
entityはidentifierを付与されたモノ
『論理データベース論考』
2024/8/18 8:40:00
https://amzn.to/4dXwPaU
あれ
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
T字型ER手法のentityは名辞
「entityは管理したいモノ」というのは正確ではない
在庫はentityではない
T字の左辺には主語を書く
T字の右辺には述語を書く
entityはresourceとeventに分けられる
T字形ER手法はaRbを関数表現として解釈しない
『論理データベース論考』が難しすぎてあきらめた
述語論理
チューリング
entityはidentifierを付与されたモノ
対
axiom of unordered pair
公理
ZF
対の公理
2024/8/18 14:51:00
『論理データベース論考』
空集合
公理
ZF
axiom of empty set
空集合の公理
2024/8/18 14:53:00
『論理データベース論考』
axiom of power set
冪集合
公理
ZF
冪集合の公理
2024/8/18 14:52:00
『論理データベース論考』
和集合
公理
ZF
axiom of sum set
和集合の公理
2024/8/18 14:51:00
『論理データベース論考』
外延性
外延
公理
ZF
axiom of extentinality
外延性公理
2024/8/18 14:50:00
『論理データベース論考』
公理体系
集合論
ZF
集合論の公理体系
2024/8/18 8:46:00
『論理データベース論考』
Zermelo-Fraenkelの集合論
Zermeloの集合論
Bernays-Gödelの集合論
ZF
ZF
集合論
ZFC
2024/8/18 8:59:00
ZFに選択公理を加えた集合論がZFC
正則性
公理
ZF
axiom of regularity
正則性公理
2024/8/18 14:56:00
『論理データベース論考』
ZFC
選択公理
ZF
ZFに選択公理を加えた集合論がZFC
2024/8/18 8:59:00