Search results 18
Paper図書
National Diet Library
- Subject Heading論理的手法 / 線形論理 / 形式仕様 / 形式検証 / 実時間システム / 証明論
Paper図書
National Diet Library
- Subject Heading言語哲学 / 意味理論 / 構成主義 / 証明論 / 直観主義 / 推論主義 / 反実在論 / 主張可能性
Paper図書
National Diet Library
- Subject Heading型図子 量子アフイン代数 型・証明論 モーメント写像 反応拡散系 逆問題 錘多様体 超平面配置
Paper図書
National Diet Library
- Subject Headingタイプ理論 線形論理 プログラミング言語 プログラム意味論 形式的プログラム検証 形式的仕様 情報科学の論理 証明論
Digital文書・図像類
Other Libraries in Japan
- Subject Heading形式意味論,論理学,証明論,自然言語推論,図形推論
- Note (General)type:text 本研究は、現代論理学における証明論及び図形推論の手法を用いて、より自然言語の構造に即した形で自...
Paper図書
National Diet Library
- Subject Headingマルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 π一計算 計算モデル
Paper図書
National Diet LibraryOther Libraries in Japan
- Toc / Article...体系 §2 Si2,Ti2 の証明論 §3 Bussの定理 3.超数学の形式化と不完全性定理 §...
- Summary, etc.自然数論の証明論は数学基礎論の中心的問題であったが、弱い自然数論の証明論が計算量の理論と密接な関係にあることが知られている。本書は、証明論と計算量との中間領域についての基本的な事柄を、最近の話題を含...
- Authority(Subject Heading/altLabel)証明論 Metamathematics Computational...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading論理学,証明論,図形推論
- Note (General)...ベル・操作上の性質)についての証明論的研究は行われていない。本研究......現の動的な性質を分析するための証明論的な枠組みを導入した。またその証明論の枠組みにおいて、free r......、推論体系間の翻訳手法を用いて証明論的に形式化した。さらにその形式......分析を行い、図形的証明の構造を証明論的に特徴付けた。 研究種目 : 研究活動スタート支援 研究期...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading数理論理学 証明論 逆数学 算術 数学基礎論 ラムゼイの定理 組み合わせ論 計...
- Note (General)...た2次元無限ラムゼイの定理の「証明論的強さ」すなわち無矛盾性証明の......命題の順序数を用いた解析手法を証明論における証明の長さの析学におけ......意義: 2次元ラムゼイの定理の証明論的強さにおける長年の問題の解決......マイルストーンとなり、逆数学や証明論分野の国際会議で関連する多くの話題が取り上げられたほか、ウエ...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading逆数学 2階算術 組み合わせ論 証明論 計算可能性理論 数学基礎論
- Note (General)...強さについて、帰納法の強さ等の証明論的強さの視点からの評価を行うための諸種の手法の導入を行った。...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading様相論理 動的認識論理 ハイブリッド論理 証明論 クリプキ意味論 マルチエージェント
Digital文書・図像類
Other Libraries in Japan
- Subject Heading論理と数学の哲学,図形推論,直観主義論理,証明論,Wittgenstein哲学,日常推論の認知科学,フッサー...
- Note (General)type:text 計算論的・構成主義的算術の算術証明論を展開したHusserlの構成......ittgensteinの帰納的証明論などの構成的証明論を明らかにした。直観主義論理可......ィ分野への具体的応用を示した。証明論的正規化定理から線形論理, 直観主義論理の意味論と証明論が構成されることを示した。これ......ていた図的論理分野において, 証明論分析手法を発展させた。日常論理推論プロセスの構成的側面の理解...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading哲学,論理学,直観主義論理,論理推論研究,フッサール論理学,論理哲学,図形推論,証明論
PaperDigital図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)Logic, Symbolic and mathematical Metamathematics 証明論
Reached to the end of result.