帰納的関数

Author(s)

• 広瀬, 健 ヒロセ, ケン

Bibliographic Information

帰納的関数

廣瀬健著

（共立講座現代の数学, 3）

共立出版, 1989.2

Title Transcription

キノウテキ カンスウ

Access to Electronic Resource 1 items

• 帰納的関数

  1989

  NDL Digital Collections

  Limited

Note

参考文献: p209-211

Description and Table of Contents

Description

帰納的関数や帰納的述語の概念は、いわゆる“アルゴリズム”の概念と関わって登場した。そして現在、帰納的手続きは、アルゴリズムの数学的定義とされている概念である。この意味で、帰納的関数の理論は、数学や情報科学におけるさまざまな理論と、きわめて多くの接点をもった分野である。本書では、以上の状況を勘考して、本格的な入門書であると同時に、なるべく多くの分野の方々にとって読みやすいような解説を心がけ、また構成に注意をはらった。

Table of Contents

• 第１章　序論
• 第２章　帰納的関数と帰納的述語
• 第３章　不完全性定理
• 第４章　帰納的関数を定義する形式的体系
• 第５章　算術的階層
• 第６章　決定不可能次数
• 第７章　決定問題—ヒルベルトの第１０問題を中心に

by "BOOK database"

Details

• NCID: BN02953864
• ISBN:
  • 4320011201
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 6, 214p
• Size: 22cm
• Classification:
  • NDC8 : 410.9
  • NDC9 : 410.9
  • NDLC : MA41
• Subject Headings:
  • BSH : 帰納的関数
• Parent Bibliography ID:
  • BN00150494