チューリングの計算理論入門

• タイトルヨミ: チューリングノケイサンリロンニュウモン
• サブタイトル: チューリング・マシンからコンピュータへ
• サブタイトルヨミ: チューリングマシンカラコンピュータエ
• シリーズ名: ブルーバックス／B-1851
• シリーズ名ヨミ: ブルーバックスB-1851
• 著編者等／著者名等: 高岡詠子‖著
• 統一著者名: 高岡詠子
• 著編者等ヨミ／著者名等ヨミ: タカオカエイコ
• 出版者: 講談社
• 出版地: 東京
• 出版年: 2014.2
• 大きさ: 222p
• 件名: オートマトン 計算量理論
• 分類: 007.1,007.1 007.1
• ISBN: 978-4-06-257851-6
• マークNo: TRC000000014009563
• タイトルコード: 1000000729819
• 資料番号: 00000000000008749624
• 請求記号: S007.1/ﾀｶ ﾁ
• 内容紹介: コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。
• 種別: 図書
• 配架場所: 034F0