定理証明手習い

サンプルサンプル

サンプルサンプルサンプルサンプル

サンプル著者名
5,720円
hontoで電子版を見る
定理証明手習い

読み込み中…

定理証明手習い

定理証明手習い

Daniel P. Friedman
Carl Eastlund
中野圭介
3,960 円（税込）
3,960 円（税込）
SALE 売り切れ
ネットストア在庫 詳細
    読み込み中...
My店舗在庫
    My店舗登録で在庫確認と店舗お受け取りのご利用が可能になります。(要ログイン)
  • 在庫表示のサンプル
店舗在庫
商品説明
あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。

なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。
詳細を表示する

カスタマーレビュー

honto本の通販ストアのレビュー(0件)

並び順:
  • 最新順
  • 評価高い順
  • 評価低い順
1/1ページ

最近チェックした商品