検索結果 18 件
デジタル文書・図像類
全国の図書館
- 件名形式意味論,論理学,証明論,自然言語推論,図形推論
- 一般注記type:text 本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自...
紙図書
国立国会図書館全国の図書館
- 目次・記事...体系 §2 Si2,Ti2 の証明論 §3 Bussの定理 3.超数学の形式化と不完全性定理 §...
- 要約等自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含...
- 典拠情報(件名/「を見よ」参照)証明論 Metamathematics Computational...
デジタル文書・図像類
全国の図書館
- 件名論理学,証明論,図形推論
- 一般注記...ベル・操作上の性質)についての証明論的研究は行われていない。本研究......現の動的な性質を分析するための証明論的な枠組みを導入した。またその証明論の枠組みにおいて、free r......、推論体系間の翻訳手法を用いて証明論的に形式化した。さらにその形式......分析を行い、図形的証明の構造を証明論的に特徴付けた。 研究種目 : 研究活動スタート支援 研究期...
デジタル文書・図像類
全国の図書館
- 件名数理論理学 証明論 逆数学 算術 数学基礎論 ラムゼイの定理 組み合わせ論 計...
- 一般注記...た2次元無限ラムゼイの定理の「証明論的強さ」すなわち無矛盾性証明の......命題の順序数を用いた解析手法を証明論における証明の長さの析学におけ......意義: 2次元ラムゼイの定理の証明論的強さにおける長年の問題の解決......マイルストーンとなり、逆数学や証明論分野の国際会議で関連する多くの話題が取り上げられたほか、ウエ...
デジタル文書・図像類
全国の図書館
- 件名逆数学 2階算術 組み合わせ論 証明論 計算可能性理論 数学基礎論
- 一般注記...強さについて、帰納法の強さ等の証明論的強さの視点からの評価を行うための諸種の手法の導入を行った。...
デジタル文書・図像類
全国の図書館
- 件名論理と数学の哲学,図形推論,直観主義論理,証明論,Wittgenstein哲学,日常推論の認知科学,フッサー...
- 一般注記type:text 計算論的・構成主義的算術の算術証明論を展開したHusserlの構成......ittgensteinの帰納的証明論などの構成的証明論を明らかにした。直観主義論理可......ィ分野への具体的応用を示した。証明論的正規化定理から線形論理, 直観主義論理の意味論と証明論が構成されることを示した。これ......ていた図的論理分野において, 証明論分析手法を発展させた。日常論理推論プロセスの構成的側面の理解...
検索結果は以上です。