計算理論の基礎 [原著第3版]

• 資料種別: 図書; 電子書籍・電子雑誌
• ISBN: 9784320952089
• タイトル: 計算理論の基礎 [原著第3版]
• タイトルよみ: ケイサンリロンノキソ ゲンチョダイサンハン
• 著者・編者: Michael Sipser 著・文・その他; 田中 圭介 監修; 田中 圭介 翻訳; 藤岡 淳 監修; 藤岡 淳 翻訳; 阿部 正幸 翻訳; 植田 広樹 翻訳; 太田 和夫 翻訳
• 著者標目: Michael Sipser マイケル シプサー; 田中 圭介 タナカ ケイスケ; 藤岡 淳 フジオカ アツシ; 阿部 正幸 アベ マサユキ; 植田 広樹 ウエダ ヒロキ; 太田 和夫 オオタ カズオ
• 出版事項: 共立出版 (発売)
• 出版年（W3CDTF）: 2024-04-08
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 対象利用者: 一般
• 資料の内容に関する注記: ジャンル : 文芸
• 一般注記（コンテンツ）: 電子書籍
• 連携機関・データベース: 出版情報登録センター : 出版情報登録センター（JPRO）

• 要約等: Michael Sipser教授による “Theory of Computation”の講義ノートをもとにまとめた教科書。（提供元: 出版情報登録センター（JPRO））

目次

第0章　序論

0.1　オートマトン，計算可能性，複雑さ

0.2　数学的概念や用語

0.3　定義，定理，証明

0.4　証明のタイプ