MarkC.Chu-Carrollの作品一覧
「MarkC.Chu-Carroll」の「グッド・マス ギークのための数・論理・計算機科学」ほか、ユーザーレビューをお届けします!
- 作者をフォローする
- フォローすると、この作者の新刊が配信された際に、お知らせします。
無料マンガ・ラノベなど、豊富なラインナップで100万冊以上配信中!
「MarkC.Chu-Carroll」の「グッド・マス ギークのための数・論理・計算機科学」ほか、ユーザーレビューをお届けします!
Posted by ブクログ
数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっくりせずに雰囲気で読み進めていいだろう。
それよりも前のところでは、ペアノ算術、論理学、集合論、群論など、計算機科学と親和性が高い数学基礎論の啓蒙書となっている。 計算機科学のを理解するために必要な数学ではあるけれど、それとは別に、計算機科学が好きな人が好きな数学でもある。たとえば、ラムダ計算でチャーチ数を構成するために