資料詳細

  • 1 件中、 1 件目

【図書】 計算理論の基礎 １

オートマトンと言語 -- 原書第２版 --
Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 太田和夫 ／監訳, 田中圭介 ／監訳, 阿部正幸 ／訳, 植田広樹 ／訳, 藤岡淳 ／訳, 渡辺治 ／訳   -- 共立出版 -- ２００８．５ -- ２１ｃｍ -- １５８，４８ｐ

資料詳細

タイトル 計算理論の基礎 １
各巻タイトル オートマトンと言語
版情報 原書第２版
著者名等 Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ ／著, 太田和夫 ／監訳, 田中圭介 ／監訳, 阿部正幸 ／訳, 植田広樹 ／訳, 藤岡淳 ／訳, 渡辺治 ／訳  
出版 共立出版 ２００８．５
大きさ等 ２１ｃｍ １５８，４８ｐ
分類 410.9
件名 数学基礎論
注記 Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｔｈｅ　ｔｈｅｏｒｙ　ｏｆ　ｃｏｍｐｕｔａｔｉｏｎ．２ｎｄ　ｅｄ．／の翻訳
注記 文献あり　索引あり
内容紹介 ＭＩＴ屈指の名講義、Ｓｉｐｓｅｒ教授の「Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ」の講義ノートをもとにまとめられた、この分野の標準的教科書。本巻では、オートマトンと言語の理論について解説。
目次 第１巻　オートマトンと言語（序論；正規言語；文脈自由言語）；第２巻　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱；判定可能性；帰着可能性；計算可能性の理論における先進的な話題）；第３巻　複雑さの理論（時間の複雑さ；領域の複雑さ；問題の扱いにくさ；計算の複雑さの理論における先進的な話題）
ISBN(13)、ISBN 978-4-320-12207-9　　 4-320-12207-0
書誌番号 1108036828
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1108036828

ページの先頭へ

所蔵

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

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

ページの先頭へ