- 中古
- 店舗受取可
- 書籍
- 書籍
定理証明手習い
定価 ¥3,520
2,475円 定価より1,045円（29%）おトク
獲得ポイント22P
残り1点 ご注文はお早めに
発送時期 1～5日以内に発送
店舗受取サービス対応商品
店舗受取なら1点でも送料無料！
店舗到着予定
11/26(火)～12/1(日)
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | ラムダノート |
| 発売年月日 | 2017/10/24 |
| JAN | 9784908686023 |
店舗受取サービス
対応商品
店舗受取なら1点でも送料無料！
さらにお買い物で使えるポイントがたまる
店舗到着予定
11/26(火)～12/1(日)
- 書籍
- 書籍
定理証明手習い
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
お客様宅への発送や電話でのお取り置き・お取り寄せは行っておりません
定理証明手習い
¥2,475
残り1点
ご注文はお早めに
商品レビュー
3
2件のお客様レビュー
定理証明系がどういうものかはなんとなくわかった。 自明の積み重ねで大きなことを証明していくイメージを持った。 対話形式は疑問を生んで解消できず、私にとって苦手なことがわかった
Posted by 
（あとがきによれば画期的な）定理証明ツールとして J-Bob なるものが使われていて、実際にそれで動かしながら読むことが勧められているが、これがあまりにも使いづらいツールであることはすぐに気づくと思う。実際、定理とは式の書き換えでしかないので、目で追っていっても問題ないし、本の説...
（あとがきによれば画期的な）定理証明ツールとして J-Bob なるものが使われていて、実際にそれで動かしながら読むことが勧められているが、これがあまりにも使いづらいツールであることはすぐに気づくと思う。実際、定理とは式の書き換えでしかないので、目で追っていっても問題ないし、本の説明も、「最後は定理Aと定理Bを用いて終了です」とかいう端折った書き方をしてるし。 訂正。ツール名を J-Bob であるのに誤って ACL2 と書いていました (https://twitter.com/ksknac/status/946744439891927041)
Posted by