- 中古
- 書籍
- 書籍
- 1213-01-03
グッド・マス ギークのための数・論理・計算機科学
定価 ¥2,860
220円 定価より2,640円（92%）おトク
獲得ポイント2P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | オーム社 |
| 発売年月日 | 2016/06/01 |
| JAN | 9784274218965 |
- 書籍
- 書籍
グッド・マス
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
グッド・マス
¥220
在庫なし
商品レビュー
3
2件のお客様レビュー
数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっく...
数学や計算機科学の入門書。本書で最も興味深いのは、やはり第VI部の計算機科学に関する記事たちだろう。有限状態機械、チューリングマシン、ラムダ計算、停止性問題などが、コード付きで出てくる。コードはいきなり Prolog やら Haskell やら Lisp やらが出てくるが、びっくりせずに雰囲気で読み進めていいだろう。 それよりも前のところでは、ペアノ算術、論理学、集合論、群論など、計算機科学と親和性が高い数学基礎論の啓蒙書となっている。 計算機科学のを理解するために必要な数学ではあるけれど、それとは別に、計算機科学が好きな人が好きな数学でもある。たとえば、ラムダ計算でチャーチ数を構成するためにはペアノ数の構成方法を使う、再帰の背後には数学的帰納法があり整数論が背景にある、など。
Posted by 
むかし数学が得意で好きだった文系エンジニアでときどき仕事でプログラミングするような自分にはグッとくる内容でした． フォーマルな定義と証明が読んで理解しやすいのは多分に翻訳がすぐれているからですな． 手に取る価値のある良書でした．
Posted by
お手持ちのスマホでスキャン