計算理論入門 Introduction to computation theory

著者

• 五十嵐, 善英 イガラシ, ヨシヒデ
• Lewis, Forbes D.
• 舩田, 眞里子 フナダ, マリコ

書誌事項

計算理論入門 = Introduction to computation theory

五十嵐善英, Forbes D. Lewis, 舩田眞里子著

（数理情報科学シリーズ, 27）

牧野書店 , 星雲社 (発売), 2013.6

タイトル読み

ケイサン リロン ニュウモン = Introduction to computation theory

注記

奥付の責任表示 (誤植) : Fobes D. Lewis

参考文献: p189-191

索引: p209-212

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB12859154
• ISBN:
  • 9784434179747
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京,東京
• ページ数/冊数: vi, 212p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.1
  • NDLC : M121
• 件名:
  • BSH : オートマトン
  • BSH : 計算量理論
• 親書誌ID:
  • BN10051896