計算理論入門

数理情報科学シリーズ　２７

牧野書店 星雲社
五十嵐善英　フォーブス・Ｄ．リュウイス　舩田眞里子　

• 価格: 2,860円（本体2,600円＋税）
• 発行年月: 2013年06月
• 判型: Ａ５
• ISBN: 9784434179747

内容情報

[BOOKデータベースより]

第１章　計算可能性とは何か（プログラミング言語ＮＩＣＥ；チューリング機械　ほか）
第２章　解決不能性（チューリング機械の数え上げ；数え上げの性質　ほか）
第３章　計算の複雑さ（計算量の測度；計算量のクラス　ほか）
第４章　帰納的関数のいろいろな形式化（ループプログラム；原始帰納的関数　ほか）