みんなの読書ブログ

みんなの読書記事を更新します。

スポンサーリンク

2016-11-20から1日間の記事一覧

感想・書評「グッド・マス ギークのための数・論理・計算機科学 Mark C. Chu‐Carroll」ネタバレ注意・述語論理、集合、群論、オートマトン、チューリング完全性、ラムダ計算、再帰、ゲーデル=チューリングの不完全性定理など、プログラミング(レビュー)。 #読書

グッド・マス ギークのための数・論理・計算機科学 Mark C. Chu‐Carroll (著) 計算機科学の本です。プログラマが数学の勉強をしたいと思ったら、この本がおすすめです。 数学本も多いですし、プログラマ向けの工学的な本もたくさんありますが、プログラマ向…