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

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