楽天ブックス  お買い物マラソン 条件達成でポイント3倍&200円OFFクーポン配布中!楽天ブックスエントリーはこちら
計算機科学の金字塔チューリング「計算可能な数について」を読む
  • Googleプレビュー

チューリングを読む コンピュータサイエンスの金字塔を楽しもう
チャールズ・ペゾルド

3,300円(税込)送料無料

この商品が関連するクーポン・キャンペーンがあります(2件)

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

電子書籍版はまだありません。

商品基本情報

商品説明

計算機科学の父、アラン・チューリングの論文「計算可能な数について」の注解本。全文を掲載し、丁寧に一文ずつ注解。全体を4パートに分け、数学的基礎知識、人生のエピソード、論文の注解、チューリング論文以降の数学基礎論の発展を述べる。

【内容情報】(「BOOK」データベースより)
コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」(1936)の本当の意味がわかる。

【目次】(「BOOK」データベースより)
第1部 基礎(ディオファントスここに眠る/無理数と超越数/進歩の世紀)/第2部 計算可能数(アラン・チューリングの受けた教育/動く機械/加算と乗算/またの呼び名はサブルーチン/すべては数/万能機械/コンピュータと計算可能性/機械と人間)/第3部 決定問題(論理と計算可能性/計算可能関数/主要な証明/ラムダ計算/連続体をめぐって)/第4部 展望(万物はチューリング機械か/ディオファントスの長き眠り)

【著者情報】(「BOOK」データベースより)
ペゾルド,チャールズ(Petzold,Charles)
プログラミング分野の書籍を多数執筆

井田哲雄(イダテツオ)
筑波大学名誉教授。専門はコンピュータサイエンス。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証

鈴木大郎(スズキタロウ)
会津大学コンピュータ理工学部コンピュータ理工学科准教授。研究分野は記号計算、書換え系、関数型プログラミング、XML、オートマトンなど

奥居哲(オクイサトシ)
中部大学工学部情報工学科准教授。研究分野は記号計算(オートマトン、書換え系、関数型プログラミングなど)

浜名誠(ハマナマコト)
群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など

山田俊行(ヤマダトシユキ)
三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など(本データはこの書籍が刊行された当時に掲載されていたものです)

商品レビュー(3件)

総合評価
 5.0

ブックスのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご注文できない商品

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    1. 1
      【予約】大人気YouTuber方式 Excel&Wordの必須スキルが見るだけで身につく本
      【予約】大人気YouTuber方式 Excel&Word…

      金子 晃之

      1,540円(税込)

    2. 2
      見てわかる、迷わず決まる配色アイデア3色だけでセンスのいい色
      見てわかる、迷わず決まる配色アイデア3…

      ingectar-e

      1,980円(税込)

    3. 3
      沈黙のWebライティング
      沈黙のWebライティング

      松尾茂起

      2,200円(税込)

    4. 4
      【令和2年度】いちばんやさしいITパスポート 絶対合格の教科書+出る順問題集
      【令和2年度】いちばんやさしいITパスポ…

      高橋 京介

      1,738円(税込)

    5. 5
      MOS Excel 365&2019 対策テキスト&問題集
      MOS Excel 365&2019 対策テキスト&問題集

      富士通エフ・オー・エム(FOM出版)

      2,310円(税込)

    1. 1
      沈黙のWebライティング ーWebマーケッター ボーンの激闘ー
      電子書籍沈黙のWebライティング ーWebマーケッタ…

      松尾 茂起(著)

      1,980円(税込)

    2. 2
      平凡な企画書がプロ顔負けの仕上がりに!たったの3時間で習得できるパワーポイント実践術
      電子書籍平凡な企画書がプロ顔負けの仕上がりに!…

      スキルアップ研究会

      200円(税込)

    3. 3
      Excel 最強の教科書[完全版]ーーすぐに使えて、一生役立つ「成果を生み出す」超エクセル仕事術
      電子書籍Excel 最強の教科書[完全版]ーーすぐに…

      藤井 直弥

      1,738円(税込)

    4. 4
      ホントに使えるモノが見つかる! Amazon最強アイテム大集合 301選
      電子書籍ホントに使えるモノが見つかる! Amazon…

      スタジオグリーン編集部

      200円(税込)

    5. 5
      人工知能は人間を超えるか
      電子書籍人工知能は人間を超えるか

      松尾 豊

      495円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ