資料詳細

  • 1 件中、 1 件目

帰納的関数 利用可

廣瀬　健／著 -- 共立出版 -- 2024.12 -- 410.9

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ﾋﾛｾ/一般 122578951 一般 利用可

ページの先頭へ

資料詳細

タイトル 帰納的関数
書名ヨミ キノウテキ　カンスウ
著者名 廣瀬　健 ／著  
著者ヨミ ヒロセ，ケン  
出版者 共立出版  
出版年 2024.12
ページ数等 ２１４ｐ
大きさ ２２ｃｍ
版表示 復刊
一般件名 帰納的関数  
ISBN 4-320-11572-4
ISBN13桁 978-4-320-11572-9
定価 ５８００円
問合わせ番号（書誌番号） 1120645444
NDC8版 410.9
NDC9版 410.9
NDC10版 410.9
著者紹介 １９６３年、立教大学大学院理学研究科修士課程修了。元早稲田大学教授・理学博士。専攻、数学、情報科学。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

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

ページの先頭へ