よく一緒に購入されている商品
商品の説明
内容（「MARC」データベースより）
計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。
登録情報
|
この商品を見た後に買っているのは？
カスタマーレビュー
|
あなたの意見や感想を教えてください:
|
||||||||||||||||||||||
|
最も参考になったカスタマーレビュー
10 人中、10人の方が、｢このレビューが参考になった｣と投票しています。
5つ星のうち 5.0
ラムダ計算のモデル論への最適な入門書,
レビュー対象商品: 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) (単行本)
帰納関数論、λ計算、λ計算のモデルを扱う入門書。読んでいて非常に楽しかった。確かに難しいところも多々ある。λ計算をまったく知らない人が読んでいけるとは思えない。私も分からなくなって数ヶ月放置し、他の本で別の説明を読んでから読み直したりした。 各項目にうまくつながりをつけるように書いてある。特にD∞を導入するあたりは最高。天下り的にD∞を導入するのではない。λ計算のモデルとはそもそもどういうものになるか、と一般的に考えた後、D∞を提示していく。これによってλのタームがどのような役割を担ったものなのか、λ計算がいったい何を表現しようとしているのか納得が行く。 非常にうまく書かれている本とはいえ、独習者にはきつい。読書会やゼミのテキストとして活用できる本だろう。
41 人中、37人の方が、｢このレビューが参考になった｣と投票しています。
5つ星のうち 5.0
入門書として最高の一冊,
By
レビュー対象商品: 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) (単行本)
「コンピュータで計算ができる関数とはいかなるものか？」というモチベーションからスタートして、その概念を厳密に定式化する。また抽象化されたプログラミング言語であるラムダ計算を全くの基礎から解説し、計算可能性との関係、ベームの木、ラムダモデルなど、かなり高度な内容まで詳しく説明されている。全く前知識なしで読み通せるくらい親切で、しかし、高度な内容までほとんど省略なく書いてある。証明も無駄がなくエレガントなものが多い。
7 人中、7人の方が、｢このレビューが参考になった｣と投票しています。
5つ星のうち 5.0
素晴らしい入門書,
By
レビュー対象商品: 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) (単行本)
この分野においては、全く説明になっていないエッセイまがいのページだけの多い本か、やたら難しくてどうしようもない本がほとんどである。つまり、独習者向きの本が殆どないのだ。そんな中で、この本は入門書として優れている。難易度は高くないのだが、しっかりと証明と説明が書かれており、この一冊だけで必要十分と言っても言い過ぎではない。読むのに難しいと感じるようであれば、計算論に手を出す前に、基礎的な数学の勉強が必要だろう。普通に計算論の勉強をしようというレベルの人には、全く文句なしに薦められる良書だ。
あなたの意見や感想を教えてください: 自分のレビューを作成する
|
最近のカスタマーレビュー |
リストマニア
|
|
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
