Jump to main content

yr 〜
yr

Search results 8

不連続関数の計算可能性 : そのパラダイムを目指して

不連続関数の計算可能性 : そのパラダイムを目指して
Paper図書
八杉満利子, 京都産業大学 [著][八杉満利子]2004-2006<Y151-H16340028>
National Diet Library
  • Subject Heading計算可能性 / 列計算可能性 / 実効的連続性 / Fine位相 / 極限再帰性 / コ...

連続体上の計算可能性問題の多角的研究

連続体上の計算可能性問題の多角的研究
Paper図書
八杉, 満利子, 京都産業大学2000-2002<Y151-H12440031>
National Diet Library
  • Subject Heading計算可能性構造 不連続関数 関数空間 一様位相空間 グレ-コ-ド Σ^0_1-排中律 極限計算可能性

構成的数学における計算可能性と計算の複雑さに関する研究

構成的数学における計算可能性と計算の複雑さに関する研究
Paper図書
石原哉, 北陸先端科学技術大学院大学 [著][石原哉]2003-2006<Y151-H15500005>
National Diet Library
  • Subject Heading構成的数学 / 計算可能性 / 計算の複雑さ / 国際研究者交流 / ドイツ: アメリ...

帰納的関数論の計算量問題への応用

帰納的関数論の計算量問題への応用
Paper図書
篠田, 壽一, 名古屋大学1997-1998<Y151-H09640257>
National Diet Library
  • Subject Heading帰納的関数 計算量 多項式時間計算可能性

数学における概念拡張の二つの様式

数学における概念拡張の二つの様式
Digital博士論文障害者向け資料あり
八杉, 滿利子2014-03-24
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading数学における概念拡張 同質性 発生論的数学観 構造主義的数学観 計算可能性構造

多重視点の証明解析による逆数学の汎用化・深化とその応用

多重視点の証明解析による逆数学の汎用化・深化とその応用
Digital文書・図像類
横山, 啓太2020-06-01科学研究費助成事業研究成果報告書p.1-12
Other Libraries in Japan
  • Subject Heading数理論理学 証明論 逆数学 算術 数学基礎論 ラムゼイの定理 組み合わせ論 計算可能性理論

「3次元的逆数学」のための基盤構築

「3次元的逆数学」のための基盤構築
Digital文書・図像類
横山, 啓太2015-06-01科学研究費助成事業研究成果報告書p.1-4
Other Libraries in Japan
  • Subject Heading逆数学 ２階算術 組み合わせ論 証明論 計算可能性理論 数学基礎論
  • Note (General)...て研究を行った。特に、これまで計算可能性理論の視点からの命題の強さの評価に偏りがちだった組み合わせ命...

モデルの理論とその関連分野の総合的研究

モデルの理論とその関連分野の総合的研究
Paper図書
本橋, 信義, 筑波大学1989-1991<Y151-H01302006>
National Diet Library
  • Subject Headingモデルの理論 情報と論理 ブール値モデル 定義可能性 ガロアの理論 安定性理論 アーベル群 計算可能性

Reached to the end of result.

RSS