計算理論の基礎

• タイトルヨミ: ケイサンリロンノキソ
• 著編者等／著者名等: Michael Sipser‖著 渡辺治‖監訳 太田和夫‖監訳 阿部正幸‖[ほか]訳
• 統一著者名ヨミ: Sipser Michael
• 統一著者名: 渡辺治 太田和夫 阿部正幸
• 著編者等ヨミ／著者名等ヨミ: シプサマイケル ワタナベオサム オオタカズオ アベマサユキ
• 出版者: 共立出版
• 出版地: 東京
• 出版年: 2000.4
• 大きさ: 483p
• 件名: オートマトン 計算量理論
• 分類: 007.1,007.1 007.1
• ISBN: 4-320-02948-8
• マークNo: TRC00015046
• タイトルコード: 1009910116332
• 資料番号: 005350558
• 請求記号: 007.1/10019
• 一般注記: 原タイトル：Introduction to the theory of computation
• 内容紹介: 計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。
• 種別: 図書
• 配架場所: 034E0