資料詳細

【図書】 帰納的関数

共立講座現代の数学 --
広瀬健／著 -- 共立出版 -- １９８９．２ -- ２２ｃｍ -- ２１４ｐ

タイトル	帰納的関数
シリーズ名	共立講座現代の数学
著者名等	広瀬健／著
出版	共立出版１９８９．２
大きさ等	２２ｃｍ２１４ｐ
分類	410.9
件名	帰納的関数
内容	参考文献：ｐ２０９～２１１
要旨	帰納的関数や帰納的述語の概念は、いわゆる“アルゴリズム”の概念と関わって登場した。そして現在、帰納的手続きは、アルゴリズムの数学的定義とされている概念である。この意味で、帰納的関数の理論は、数学や情報科学におけるさまざまな理論と、きわめて多くの接点をもった分野である。本書では、以上の状況を勘考して、本格的な入門書であると同時に、なるべく多くの分野の方々にとって読みやすいような解説を心がけ、また構成に注意をはらった。
目次	第１章　序論；第２章　帰納的関数と帰納的述語；第３章　不完全性定理；第４章　帰納的関数を定義する形式的体系；第５章　算術的階層；第６章　決定不可能次数；第７章　決定問題―ヒルベルトの第１０問題を中心に
ISBN(13)、ISBN	4-320-01120-1
書誌番号	1190295789
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190295789

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/79	一般書	利用可	-	0003588068