t_wの輪郭
クルト
ゲーデル
クルト・ゲーデル
2024/3/17 6:35:00
『論理データベース論考』
ゲーデル数
完全性定理
一階述語論理
不完全性定理
合併集合
正則性公理
空集合の公理
ZF
冪集合の公理
和集合の公理
対の公理
外延性公理
DB論考
Bernays-Gödelの集合論
『論理データベース論考』
2024/8/17 23:40:00
https://amzn.to/4dXwPaU
あれ
『論理データベース論考』が難しすぎてあきらめた
T字形ER手法はaRbを関数表現として解釈しない
entityはresourceとeventに分けられる
T字の左辺には主語を書く
符号化
クルト・ゲーデル
符号
ゲーデル数
2024/8/1 4:54:00
あれ
クルト・ゲーデル
完全性
定理
完全性定理
2024/3/17 7:32:00
あれ
あれ
一階述語論理
2024/3/17 6:38:00
一階述語論理
は個体の量化のみを許す
述語論理
である。
一階述語論理が健全性と完全性を備えていることが
クルト・ゲーデル
によって証明された。
あれ
クルト・ゲーデル
不完全性定理
2024/1/6 15:03:00
あれ