「logic error」を解説文に含む見出し語の検索結果(81～90/2776件中)
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
インド論理学（インドろんりがく）は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ（紀元前6世紀頃）のアンヴィクシキ学派やパーニニ（紀元前5世...
インド論理学（インドろんりがく）は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ（紀元前6世紀頃）のアンヴィクシキ学派やパーニニ（紀元前5世...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...
ナビゲーションに移動検索に移動 Three Porphyrian trees by Purchotius (1730), Boethius (6th century), and Ramon Llull...
ナビゲーションに移動検索に移動 Three Porphyrian trees by Purchotius (1730), Boethius (6th century), and Ramon Llull...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...