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

内容詳細

コンピュータのそばにいるからこそ楽しめる数学！ 数学は、問題に対するアプローチそのものが、特にコンピュータとの関係では学ぶべき価値がある分野です。

本書は、“A Geek's Guide to the Beauty of Numbers, Logic, and Computation”の翻訳書です。

現代数学における「問題のとらえ方」に慣れ親しみながら、本格的な数学を用いてプログラミングの理論や計算機科学の深い内容を楽しく学んでいきます。

数とは何かから始まり、一階の述語論理、公理的集合論、群論、有限状態機械、ラムダ計算、型システム、停止問題にいたるまで、計算機がいかに数学と密接に結びついているかを27 のトピックを通じて噛みしめてみましょう。

★このような方におすすめ仕事、趣味、勉学を問わず、日々プログラミングに触れている人 コンピュータが好きな人 プログラミングが好きな人 数や数学に興味のある人 『プログラマのための論理パズル』や『数学ガール』の読者 数学が好きな人