サクサク読めて、アプリ限定の機能も多数!
一階述語論理を使うと集合論を公理的体系として形式化できることから集合は数学の基盤となるる。ゲーデルやスコーレムが一階述語論理に固執したこともあって、過去二階や高階の述語論理はほとんど省みられなかった。
MaruyamaAkira のブックマーク 2011/01/27 18:36
二階述語論理 - Wikipedia[wikipedia][数学][*あとで読む][DB][備忘録]一階述語論理を使うと集合論を公理的体系として形式化できることから集合は数学の基盤となるる。ゲーデルやスコーレムが一階述語論理に固執したこともあって、過去二階や高階の述語論理はほとんど省みられなかった。2011/01/27 18:36
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2009/04/28
二階述語論理(にかいじゅつごろんり、英: second-order predicate logic)あるいは単に二階論理(にかいろんり、英: second-order logic)は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論...
14 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
一階述語論理を使うと集合論を公理的体系として形式化できることから集合は数学の基盤となるる。ゲーデルやスコーレムが一階述語論理に固執したこともあって、過去二階や高階の述語論理はほとんど省みられなかった。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
二階述語論理 - Wikipedia
二階述語論理(にかいじゅつごろんり、英: second-order predicate logic)あるいは単に二階論理(にかいろんり、英: second-order logic)は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論...
14 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /