音声読み上げ、文字の色やサイズの変更をする場合はこちら
横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
帰納的関数
復刊 --
廣瀬健
/著 --
共立出版 -- 2024.12 -- 22cm -- 214p
予約申込
本棚へ
資料詳細
タイトル
帰納的関数
版情報
復刊
著者名等
廣瀬健
/著
出版
共立出版 2024.12
大きさ等
22cm 214p
分類
410.9
件名
帰納的関数
注記
文献あり 索引あり
著者紹介
1963年、立教大学大学院理学研究科修士課程修了。元早稲田大学教授・理学博士。専攻、数学、情報科学。(本データはこの書籍が刊行された当時に掲載されていたものです)
要旨
数学基礎論の碩学による計算論の名著。ゲーデルの不完全性定理からヒルベルトの第10問題の否定的解決まで。
目次
第1章 序論;第2章 帰納的関数と帰納的述語;第3章 不完全性定理;第4章 帰納的関数を定義する形式的体系;第5章 算術的階層;第6章 決定不可能次数;第7章 決定問題―ヒルベルトの第10問題を中心に
ISBN(13)、ISBN
978-4-320-11572-9 4-320-11572-4
書誌番号
1124050459
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1124050459
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
4階自然科学
Map
410.9
一般書
利用可
-
2077622309
ページの先頭へ