計算理論の基礎

著者

• Sipser, Michael
• 阿部, 正幸 アベ, マサユキ
• 植田, 広樹 ウエダ, ヒロキ
• 田中, 圭介 タナカ, ケイスケ
• 藤岡, 淳 フジオカ, アツシ
• 渡辺, 治 ワタナベ, オサム
• 太田, 和夫 オオタ, カズオ

書誌事項

計算理論の基礎

Michael Sipser著 ; 阿部正幸 [ほか] 訳

共立出版, 2000.4

タイトル別名

Introduction to the theory of computation

タイトル読み

ケイサン リロン ノ キソ

電子リソースにアクセスする 全1件

• 計算理論の基礎

  2000

  NDLデジタルコレクション

  限定公開

注記

その他の訳者: 植田広樹, 田中圭介, 藤岡淳

監訳: 渡辺治, 太田和夫

参考文献: p[445]-451

内容説明・目次

内容説明

計算の理論の世界へ、ようこそ！Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ教授の「Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はＭＩＴ屈指の名講義で、教室には活気と笑いがあふれていました。２，３回の聴講を考えていた私はその魅力に魅せられて、９１年秋学期の全講義に出席することになりました。本書はＳｉｐｓｅｒ教授のＭＩＴでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。

目次

• 第１部　オートマトンと言語（正規言語；文脈自由文法）
• 第２部　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱；判定可能性；帰着可能性　ほか）
• 第３部　複雑さの理論（時間の複雑さ；領域の複雑さ；問題の扱いにくさ　ほか）

「BOOKデータベース」 より

• NII書誌ID(NCID): BA4621889X
• ISBN:
  • 4320029488
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xvi, 483p
• 大きさ: 24cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.1
  • NDLC : M121
• 件名:
  • BSH : オートマトン
  • BSH : 計算量理論
  • NDLSH : オートマトン
  • NDLSH : 計算量理論