グッド・マスギークのための数・論理・計算機科学[マーク・シー・シュー・キャロル]
  • Googleプレビュー
本
現在地
トップ >  > 科学・技術 > 数学

グッド・マス ギークのための数・論理・計算機科学 ギークのための数・論理・計算機科学
MarkC.Chu-Carroll

2,808円(税込)送料無料

獲得ポイント:

楽天ブックスご利用で+1倍!

SPUでいつでもポイント最大8倍!

電子書籍版でもご購入可能です!

楽天Kobo 電子書籍版 グッド・マス ギークのための数・論理・計算機科学 2,808円
紙書籍版 グッド・マス ギークのための数・論理・計算機科学 2,808円

商品基本情報

  • 発売日:  2016年06月25日頃
  • 著者/編集:   MarkC.Chu-Carrollcocoatomo
  • 出版社:   オーム社
  • 発行形態:  単行本
  • ページ数:  261p
  • ISBNコード:  9784274218965

商品説明

コンピュータのそばにいるからこそ楽しめる数学!
数学は、問題に対するアプローチそのものが、特にコンピュータとの関係では学ぶべき価値がある分野です。
本書は、“A Geek's Guide to the Beauty of Numbers、 Logic、 and Computation”の翻訳書です。現代数学における「問題のとらえ方」に慣れ親しみながら、本格的な数学を用いてプログラミングの理論や計算機科学の深い内容を楽しく学んでいきます。数とは何かから始まり、一階の述語論理、公理的集合論、群論、有限状態機械、ラムダ計算、型システム、停止問題にいたるまで、計算機がいかに数学と密接に結びついているかを27 のトピックを通じて噛みしめてみましょう。
第I部 数

第1章 自然数
第2章 整数
第3章 実数
第4章 無理数と超越数

第II部 変わった数

第5章 ゼロ
第6章 e:自然数でない自然な数
第7章 φ:黄金比
第8章 i:虚数

第III部 数を書く

第9章 ローマ数字
第10章 エジプト分数
第11章 連分数

第IV部 論理

第12章 ミスター・スポックは論理的じゃない
第13章 証明に、真実に、木:おおこわい!
第14章 論理でプログラミング
第15章 時間がかかわる論証

第V部 集合

第16章 カントールの対角化:無限はただ無限なんじゃない
第17章 公理的集合論:長所を残して、短所を捨てる
第18章 モデル:数学の世界のレゴブロックとして集合を使う
第19章 超限数:無限集合の数え上げと順序付け
第20章 群論:集合の対称性を見つける

第VI部 機械じかけの数学

第21章 有限状態機械:単純だけどすごい奴
第22章 チューリング機械
第23章 計算の病理学と、その心髄
第24章 計算:違う、ただの計算じゃないλ計算だ
第25章 数、真偽値、そして再帰
第26章 型、型、型:λ計算のモデル化
第27章 停止性問題

参考文献

【内容情報】(出版社より)
コンピュータのそばにいるからこそ楽しめる数学!
数学は、問題に対するアプローチそのものが、特にコンピュータとの関係では学ぶべき価値がある分野です。
本書は、“A Geek's Guide to the Beauty of Numbers、 Logic、 and Computation”の翻訳書です。現代数学における「問題のとらえ方」に慣れ親しみながら、本格的な数学を用いてプログラミングの理論や計算機科学の深い内容を楽しく学んでいきます。数とは何かから始まり、一階の述語論理、公理的集合論、群論、有限状態機械、ラムダ計算、型システム、停止問題にいたるまで、計算機がいかに数学と密接に結びついているかを27 のトピックを通じて噛みしめてみましょう。
第I部 数

第1章 自然数
第2章 整数
第3章 実数
第4章 無理数と超越数

第II部 変わった数

第5章 ゼロ
第6章 e:自然数でない自然な数
第7章 φ:黄金比
第8章 i:虚数

第III部 数を書く

第9章 ローマ数字
第10章 エジプト分数
第11章 連分数

第IV部 論理

第12章 ミスター・スポックは論理的じゃない
第13章 証明に、真実に、木:おおこわい!
第14章 論理でプログラミング
第15章 時間がかかわる論証

第V部 集合

第16章 カントールの対角化:無限はただ無限なんじゃない
第17章 公理的集合論:長所を残して、短所を捨てる
第18章 モデル:数学の世界のレゴブロックとして集合を使う
第19章 超限数:無限集合の数え上げと順序付け
第20章 群論:集合の対称性を見つける

第VI部 機械じかけの数学

第21章 有限状態機械:単純だけどすごい奴
第22章 チューリング機械
第23章 計算の病理学と、その心髄
第24章 計算:違う、ただの計算じゃないλ計算だ
第25章 数、真偽値、そして再帰
第26章 型、型、型:λ計算のモデル化
第27章 停止性問題

参考文献

【内容情報】(「BOOK」データベースより)
あなたが知ってる数学より、ちょっとだけ高度な数学!コンピュータ好きな著者・訳者による、コンピュータ好きな読者のための、「数」→「論理」→「集合」→「計算」をめぐる数学ツアー。

【目次】(「BOOK」データベースより)
第1部 数/第2部 変わった数/第3部 数を書く/第4部 論理/第5部 集合/第6部 機械じかけの数学

【著者情報】(「BOOK」データベースより)
シュー=キャロル,マーク・シー(Chu-Carroll,Mark C.)(シューキャロル,マークシー)
計算機科学のPhDを有するソフトウェアエンジニア。協調的ソフトウェア開発、プログラミング言語およびツール、ソフトウェア開発における日常業務の改善に関心がある

cocoatomo(COCOATOMO)
修士課程数学専攻を卒業後、プログラマとして働く。数学、計算機科学に興味を持ち、勉強会を主催する。最近は、型理論の裏付けとなる圏論の勉強会を開いている。Python公式ドキュメント翻訳メンバー(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

電子書籍版のレビュー

この商品にはまだレビューがありません レビューを書く

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

  • 週間ランキング

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

  • 日別ランキング

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

ご購入はこちらから

在庫あり

残りあと1

午前中に注文完了分は当日発送

あす楽対象商品

のご注文で
送料無料で  にお届け

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

2,808円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

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

    ランキング:科学・技術

    ※1時間ごとに更新

    1. 1
      長友佑都のヨガ友
      長友佑都のヨガ友

      長友佑都

      1,399円(税込)

    2. 2
      薬に頼らず血圧を下げる方法
      薬に頼らず血圧を下げる方法

      加藤雅俊

      1,296円(税込)

    3. 3
      誰でも簡単にぐっすり眠れるようになる方法
      誰でも簡単にぐっすり眠れるようになる方法

      白濱龍太郎

      1,296円(税込)

    4. 4
      血管を強くする「水煮缶」健康生活
      血管を強くする「水煮缶」健康生活

      女子栄養大学栄養クリニック

      1,296円(税込)

    5. 5
      スタンフォード式最高の睡眠
      スタンフォード式最高の睡眠

      西野精治

      1,620円(税込)

    1. 1
      スゴ運。
      電子書籍スゴ運。

      唱田士始矢

      594円(税込)

    2. 2
      宇宙から見た夜の地球
      電子書籍宇宙から見た夜の地球

      岡本 典明

      100円(税込)

    3. 3
      敏感すぎるあなたが7日間で自己肯定感をあげる方法
      電子書籍敏感すぎるあなたが7日間で自己肯定感を…

      根本裕幸

      1,404円(税込)

    4. 4
      「これでいい」と心から思える生き方
      電子書籍「これでいい」と心から思える生き方

      野口嘉則

      1,296円(税込)

    5. 5
      サイコパス
      電子書籍サイコパス

      中野信子

      800円(税込)

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

    このページの先頭へ