計算理論入門
五十嵐善英／著 Ｆｏｒｂｅｓ Ｄ．Ｌｅｗｉｓ／著 舩田眞里子／著
発売日：2013年6月
- ISBN
- 978-4-434-17974-7
- 著者情報
- 五十嵐 善英（イガラシ ヨシヒデ）（Ｌｅｗｉｓ，Ｆｏｂｅｓ Ｄ．）
１９７１年東北大学大学院博士課程修了（工学博士）。１９７２年Ｅｄｉｎｂｕｒｇｈ大学客員研究員。１９７４年Ｌｅｅｄｓ大学講師。１９７７年Ｃｉｔｙ大学（ロンドン）講師。１９７８年群馬大学助教授。１９８３年群馬大学教授。現在、群馬大学名誉教授。専門は計算機科学
リュウイス，フォーブス・Ｄ．（リュウイス，フォーブスＤ．）
１９７０年Ｃｏｒｎｅｌ大学大学院博士課程修了（Ｐｈ．Ｄ）。Ｈａｒｖａｒｄ大学助教授。１９７５年Ｎｅｗ Ｙｏｒｋ Ｓｔａｔｅ Ｕｎｉｖｅｒｓｉｔｙ（Ａｌｂａｎｙ校）准教授。１９７８年Ｋｅｎｔｕｃｋｙ大学准教授。１９８３年Ｋｅｎｔｕｃｋｙ大学教授。現在、Ｋｅｎｔｕｃｋｙ大学名誉教授。専門は計算機科学
舩田 眞里子（フナダ マリコ）
１９８９年青山学院大学大学院博士課程修了。現在、白鴎大学教授（博士（工学））。専門はＨＣＩ（Ｈｕｍａｎ Ｃｏｍｐｕｔｅｒ Ｉｎｔｅｒａｃｔｉｏｎ）
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
初歩的なプログラミング技法と計算理論における論理的な技法の間のギャップを埋めることを目的に著された入門書である。プログラミングの手法や表現を多く取り入れながら、計算理論の本質へと導いてゆく。特別な知識がなくても計算機科学における論理的手法が自ずと身に付くようになっている。
目次
第１章 計算可能性とは何か（プログラミング言語ＮＩＣＥ
チューリング機械 ほか）
第２章 解決不能性（チューリング機械の数え上げ
数え上げの性質 ほか）
第３章 計算の複雑さ（計算量の測度
計算量のクラス ほか）
第４章 帰納的関数のいろいろな形式化（ループプログラム
原始帰納的関数 ほか）
商品詳細
- シリーズ名
- 数理情報科学シリーズ ２７
- 出版社名
- 牧野書店
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
