資料詳細

  • 1 件中、 1 件目

【図書】 計算理論の基礎

Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 渡辺治 ／監訳, 太田和夫 ／監訳, 阿部正幸 ／〔ほか〕訳, 　   -- 共立出版 -- ２０００．０４ -- ２４ｃｍ -- ４８３ｐ

資料詳細

タイトル 計算理論の基礎
著者名等 Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 渡辺治 ／監訳, 太田和夫 ／監訳, 阿部正幸 ／〔ほか〕訳, 　  
出版 共立出版 ２０００．０４
大きさ等 ２４ｃｍ ４８３ｐ
分類 410.9
件名 数学基礎論
注記 Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｔｈｅ　ｔｈｅｏｒｙ　ｏｆ　ｃｏｍｐｕｔａｔｉｏｎ．
内容 文献あり　索引あり
要旨 計算の理論の世界へ、ようこそ！Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ教授の「Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はＭＩＴ屈指の名講義で、教室には活気と笑いがあふれていました。２，３回の聴講を考えていた私はその魅力に魅せられて、９１年秋学期の全講義に出席することになりました。本書はＳｉｐｓｅｒ教授のＭＩＴでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。
目次 第１部　オートマトンと言語（正規言語；文脈自由文法）；第２部　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱；判定可能性；帰着可能性　ほか）；第３部　複雑さの理論（時間の複雑さ；領域の複雑さ；問題の扱いにくさ　ほか）
ISBN(13)、ISBN 　　 4-320-02948-8
書誌番号 1100020317
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1100020317

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/223 一般書 利用可 - 2019238094 iLisvirtual

ページの先頭へ