Mendeley出力
＜図書＞
オートマトンと言語
オートマトン ト ゲンゴ
| 責任表示 | Michael Sipser著 ; 阿部正幸 [ほか] 訳 |
|---|---|
| シリーズ | 計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳 ; 1 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 共立出版 , 2023.4 |
| 本文言語 | 日本語 |
| 大きさ | xxvii, 194, 40p ; 21cm |
| 目次 | 第1巻 オートマトンと言語(序論 正規言語 文脈自由言語) 第2巻 計算可能性の理論(Church‐Turingの提唱 判定可能性 帰着可能性 計算可能性の理論における先進的な話題) 第3巻 複雑さの理論(時間の複雑さ 領域の複雑さ 問題の扱いにくさ 計算の複雑さの理論における先進的な話題)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 007.1/Si 8 | 2023 |
|
130012023002234 |
|
書誌詳細
| 一般注記 | その他の訳者: 植田広樹, 太田和夫, 田中圭介, 藤岡淳, 渡辺治 監訳: 田中圭介, 藤岡淳 原著第3版の翻訳 参考文献: 巻末p1-7 欧文索引: 巻末p[9]-24 和文索引: 巻末p[25]-40 |
|---|---|
| 著者標目 | Sipser, Michael 阿部, 正幸 <アベ, マサユキ> 植田, 広樹 <ウエダ, ヒロキ> 太田, 和夫 (1954-) <オオタ, カズオ> 田中, 圭介 (1969-) <タナカ, ケイスケ> 藤岡, 淳 <フジオカ, アツシ> 渡辺, 治(1958-) <ワタナベ, オサム> |
| 件 名 | BSH:オートマトン BSH:計算量理論 |
| 分 類 | NDC9:007.1 NDC10:007.1 |
| 書誌ID | 1001777000 |
| ISBN | 9784320125612 |
| NCID | BD0178822X |
| 巻冊次 | ISBN:9784320125612 ; PRICE:3740円 |
| 登録日 | 2023.06.06 |
| 更新日 | 2023.06.06 |