数学と計算機科学の密接な関係を楽しく学べる本書は、特にプログラミングに興味を持つ人々にとって魅力的です。内容は、数学の基礎から計算機科学の理論まで幅広くカバーされており、特に有限状態機械やラムダ計算などのトピックが実際のコードを交えて紹介されています。読みやすい文章で構成されているため、理解しやすい一方で、深い内容に触れることで再考を促されることもあります。翻訳の質も高く、数学に親しみを持っている人には特に響く内容が展開されています。計算機科学を理解するための数学的な基盤を提供しつつ、数学そのものの魅力を再発見させてくれる良書です。

※この内容はAIが作成したものであり、ブックオフ公式オンラインストアの見解や意図を示すものではありません。

2019/11/26

数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっく...

表示する

数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっくりせずに雰囲気で読み進めていいだろう。それよりも前のところでは、ペアノ算術、論理学、集合論、群論など、計算機科学と親和性が高い数学基礎論の啓蒙書となっている。計算機科学のを理解するために必要な数学ではあるけれど、それとは別に、計算機科学が好きな人が好きな数学でもある。たとえば、ラムダ計算でチャーチ数を構成するためにはペアノ数の構成方法を使う、再帰の背後には数学的帰納法があり整数論が背景にある、など。

Posted by ブクログ

2016/12/05

むかし数学が得意で好きだった文系エンジニアでときどき仕事でプログラミングするような自分にはグッとくる内容でした．フォーマルな定義と証明が読んで理解しやすいのは多分に翻訳がすぐれているからですな．手に取る価値のある良書でした．

Posted by ブクログ

すべてのレビューを見る

履歴をすべて削除しました

お手持ちのスマホでスキャン

お近くのスタッフに、表示されたスマホ画面を

みせていただければ商品をお探しいたします。

ブックオフナビをご利用いただきありがとうございます

お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。

※画面に表示されている価格はお取り寄せ時の価格となります。

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

商品詳細

商品レビュー

関連商品

同じジャンルのおすすめ商品

最近チェックした商品