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

• Material Type: 図書; 電子書籍・電子雑誌
• ISBN: 9784320952089
• Title: 計算理論の基礎 [原著第3版]
• Title Transcription: ケイサンリロンノキソ ゲンチョダイサンハン
• Author/Editor: Michael Sipser 著・文・その他; 田中 圭介 監修; 田中 圭介 翻訳; 藤岡 淳 監修; 藤岡 淳 翻訳; 阿部 正幸 翻訳; 植田 広樹 翻訳; 太田 和夫 翻訳
• Author Heading: Michael Sipser マイケル シプサー; 田中 圭介 タナカ ケイスケ; 藤岡 淳 フジオカ アツシ; 阿部 正幸 アベ マサユキ; 植田 広樹 ウエダ ヒロキ; 太田 和夫 オオタ カズオ
• Publication, Distribution, etc.: 共立出版 (発売)
• Publication Date (W3CDTF): 2024-04-08
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Target Audience: 一般
• Note (Content): ジャンル : 文芸
• Note (Production): 電子書籍
• Data Provider (Database): 出版情報登録センター : 出版情報登録センター（JPRO）

• Summary, etc.: Michael Sipser教授による “Theory of Computation”の講義ノートをもとにまとめた教科書。(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

第0章　序論

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

0.2　数学的概念や用語

0.3　定義，定理，証明

0.4　証明のタイプ