Jump to main content

yr 〜
yr

Search results 13

帰納的関数 復刊

帰納的関数 復刊
Paper図書
廣瀬健 著共立出版2024.12
National Diet LibraryOther Libraries in Japan
  • Toc / Article第1章　序論 1.1 帰納的関数および帰納的述語の概念 1.2...... 1.4 記号と規約 第2章　帰納的関数と帰納的述語 2.1 原始帰納的関数と帰納的関数 2.2 原始帰納的述語と帰納.......4 累積帰納法 2.5 多重帰納的関数 2.6 帰納的部分関数 2.......関するいくつかの注意 第4章　帰納的関数を定義する形式的体系 4.1 形式的体系R 4.2 形式的体...
  • Summary, etc.名著復刊。数学や情報科学の様々な理論と、多くの接点をもった分野である帰納的関数の理論の本格的な入門書。1989年初版発行。
  • Subject Heading帰納的関数

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
Paper図書
篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
National Diet LibraryOther Libraries in Japan
  • Subject Heading帰納的関数

構成的算術体系に対する部分帰納的実現可能性解釈の研究

構成的算術体系に対する部分帰納的実現可能性解釈の研究
Paper図書
石原, 哉, 北陸先端科学技術大学院大学1997-2000<Y151-H09640253>
National Diet Library
  • Subject Heading構成的数学 実現可能性解釈 部分帰納的関数

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)
Paper図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1996?]<M121-A152>
National Diet Library
  • Subject Heading形式言語. 帰納的関数. 集合論.

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

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

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
Paper図書
North-Hollandc1992.<MA41-A80>
National Diet Library
  • Subject Heading帰納的関数. Recursive functions.

型理論的アプローチによる証明論および計算論の研究

型理論的アプローチによる証明論および計算論の研究
Paper図書
高橋正子, 国際基督教大学 [著][高橋正子]2000-2003<Y151-H12640107>
National Diet Library
  • Subject Heading計算論 / 帰納的関数 / 二分木 / コンピュータの歴史 / 数理論理学の歴史 ...

帰納的関数 (共立講座現代の数学 ; 3)

帰納的関数 (共立講座現代の数学 ; 3)
PaperDigital図書
広瀬健 著共立出版1989.2<MA41-E16>
National Diet LibraryOther Libraries in Japan
  • Toc / Article第1章 序論 第2章 帰納的関数と帰納的述語 第3章 不完全性定理 第4章 帰納的関数を定義する形式的体系 第5章 算術的階層 第6章 決定不可能...
  • Summary, etc.理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。
  • Subject Heading帰納的関数

帰納的関数論の総合的研究

帰納的関数論の総合的研究
Paper図書
篠田, 壽一, 名古屋大学1994-1995<Y151-H06302014>
National Diet Library
  • Subject Heading帰納的関数 計算量 ブール値モデル 公理的集合論 超準解析

Minimum impatience theorems for recursive economic models / Gerhard Sorger. (Lecture notes in economics and mathematical systems)

Minimum impatience theorems for recursive economic models / Gerhard Sorger. (Lecture notes in economics and mathematical systems)
Paper図書
Springer-Verlagc1992.<DA49-A67>
National Diet Library
  • Subject Heading数理経済学. 経済モデル. 帰納的関数. Economics -- Mathematical mo...

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)
Paper図書
Springer-Verlagc1985.<MC141-A9>
National Diet LibraryOther Libraries in Japan
  • Subject Heading固体. 帰納的関数. Solid state physics -- Metho...

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
PaperDigital図書障害者向け資料あり
M.デーヴィス 著, 渡辺茂, 赤摂也 訳岩波書店1966<410.1-cD26k-W>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Toc / Article...理 2 合成と最小化 第3章 帰納的関数 1 いくつかの関数のクラス ......数列 3 原始帰納法 4 原始帰納的関数 5 帰納的集合と帰納的述語 第4章 Turing機械を自己...
  • Subject Heading帰納的関数

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
Paper図書
M.デーヴィス著岩波書店1966.10
Other Libraries in Japan
  • Subject Heading帰納的関数

Reached to the end of result.

RSS