導入と読解 チューリング「計算可能な数について」 コンピュータの原典の実像を求めて / 野口健一郎 【本】
[ ショップ名 ] HMV&BOOKS online 1号店
[ 現在価格 ] 4950 円 (税込)
[ PRポイント ]
[ 商品説明 ]
出荷目安の詳細はこちら内容詳細目次 : 第1部 導入(チューリングの独創的論文/ 生い立ちと人物像/ 時代背景/ 学術界の動向/ チューリング機械の構想にいたる天才的思考/ 原論文の紹介/ 論文の評価/ 競争と協力—コンピュータの実現/ 名誉と不名誉)/ 第2部 訳と説明(計算機械/ 定義/ 計算機械の例/ 短縮した表/ 計算可能な列の数え上げ/ 万能計算機械/ 万能機械の詳細な記述/ 対角線論法の応用/ 計算可能な数の広さ/ 計算可能な数の大きな集合の例/ 決定問題への応用/ 付録 計算可能性と実際に計算できること)