|
|
内容紹介・もくじなど
著者プロフィール
廣瀬 健(ヒロセ ケン)
１９６３年立教大学大学院理学研究科修士課程修了。元早稲田大学教授・理学博士。専攻：数学、情報科学（本データはこの書籍が刊行された当時に掲載されていたものです） 廣瀬 健(ヒロセ ケン)
１９６３年立教大学大学院理学研究科修士課程修了。元早稲田大学教授・理学博士。専攻：数学、情報科学（本データはこの書籍が刊行された当時に掲載されていたものです） |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| このサイトについて | eフレンズトップ |
| 利用規約 | ご利用ガイド |
| 特定取引法に基づく表示 | |
| 個人情報の取り扱いについて | お問い合わせ |
もくじ情報：第１章 序論；第２章 帰納的関数と帰納的述語；第３章 不完全性定理；第４章 帰納的関数を定義する形式的体系；第５章 算術的階層；第６章 決定不可能次数；第７章 決定問題―ヒルベルトの第１０問題を中心に
もくじ情報：第１章 序論；第２章 帰納的関数と帰納的述語；第３章 不完全性定理；第４章 帰納的関数を定義する形式的体系；第５章 算術的階層；第６章 決定不可能次数；第７章 決定問題―ヒルベルトの第１０問題を中心に