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

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

[k--kato]

「第12章 ミスター・スポックは論理的じゃない」