計算理論入門 Introduction to computation theory

Author(s)

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

Bibliographic Information

計算理論入門 = Introduction to computation theory

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

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

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

Title Transcription

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

Note

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

参考文献: p189-191

索引: p209-212

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BB12859154
• ISBN:
  • 9784434179747
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京,東京
• Pages/Volumes: vi, 212p
• Size: 22cm
• Classification:
  • NDC8 : 007.1
  • NDC9 : 007.1
  • NDLC : M121
• Subject Headings:
  • BSH : オートマトン
  • BSH : 計算量理論
• Parent Bibliography ID:
  • BN10051896