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

著者 : MarkC.Chu‐Carroll cocoatomo

• オーム社 (2016年6月25日発売)

作品紹介・あらすじ

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

感想・レビュー・書評

[naotacoさんの感想 · 2016年8月15日]

数学ガールから数学以外の部分を取っ払ったような本。

読みやすく書かれていてわかったような気になるが、理解した内容を説明しろと言われると苦しい、、

[nkonさんの感想 · 2019年11月26日]

数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっくりせずに雰囲気で読み進めていいだろう。
それよりも前のところでは、ペアノ算術、論理学、集合論、群論など、計算機科学と親和性が高い数学基礎論の啓蒙書となっている。 計算機科学のを理解するために必要な数学ではあるけれど、それとは別に、計算機科学が好きな人が好きな数学でもある。たとえば、ラムダ計算でチャーチ数を構成するためにはペアノ数の構成方法を使う、再帰の背後には数学的帰納法があり整数論が背景にある、など。

[豊橋技術科学大学図書館さんの感想 · 2017年4月8日]

図書館アルバイト学生さん推薦図書
【所在]　３階開架
【請求記号】 410||CH
【OPACへのリンク】
　https://opac.lib.tut.ac.jp/opac/book/179501

[yadamonsさんの感想 · 2016年12月5日]

むかし数学が得意で好きだった文系エンジニアでときどき仕事でプログラミングするような自分にはグッとくる内容でした．

フォーマルな定義と証明が読んで理解しやすいのは多分に翻訳がすぐれているからですな．

手に取る価値のある良書でした．

[fraserlibさんの感想 · 2016年8月3日]

請求記号　410/C 61