この商品の詳細
- 出版社
- ラムダノート
- 出版社シリーズ
- ISBN
- 9784908686023
- サイズ
- 単行本
- 発売年月日
- 2017年10月23日
この商品の紹介
あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。
なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。
定理証明手習い/単行本
1,260
円(税込)
この商品と同年代の電気・機械・技術のおすすめ もっと見る
週間売れ筋ランキング（電気・機械・技術） もっと見る
-
思考の整理学 220円
-
幸せになる勇気 800円
-
覚悟の磨き方 1,370円
-
4位「繊細さん」の本 330円
-
5位妻のトリセツ 220円
-
6位【２ＣＤ付】どんどん話すための瞬間英作文トレーニング 1,150円
-
7位なぜ働いていると本が読めなくなるのか 630円
-
8位８０パターンで英語が止まらない！ 710円
-
9位【赤シート付】ＴＯＥＩＣ Ｌ＆Ｒ ＴＥＳＴ 出る単特急 金のフレーズ 470円
-
10位読むだけですっきりわかる日本史 110円
-
11位自分とか、ないから。 1,150円
-
12位置かれた場所で咲きなさい 220円
-
13位ＦＡＣＴＦＵＬＮＥＳＳ－１０の思い込みを乗り越え、データを基に世界を正しく見る習慣－ 275円
-
14位小さな習慣 400円
-
15位夫のトリセツ 330円
-
16位なるほどデザイン 1,480円
-
17位メモの魔力 220円
-
18位仏教コード 990円
-
19位ネイティブが使っているたった３０メソッドで英語が好きになる！ 470円
-
20位英単語の語源図鑑 400円
この商品を見た人におすすめ もっと見る
-
ジャイアントロボ－地球が静止する日－ 165円
-
めざせ！名門野球部公式指導書 165円
-
魔法使いTai！＜4＞ 165円
-
ファンタジーRPGクイズ＜2＞ 165円
-
仮面ライダー電王キャラクターブック＜02＞ 165円
-
大使館で働くための「派遣員」ガイド 1,890円
-
星子＆宙太ふたり旅－KISS ME KISSはスペード色－ 165円
-
ヘルメ・ハイネの水晶の塔＜上＞ 110円
-
マッチラベル博物館 1,990円
-
耐震工学 1,260円
-
轟轟戦隊ボウケンジャー 1 しゅつどう！ボウケンジャー 220円
-
デート・ア・ライブ凛祢ユートピアパーフェクトビジュアルガイド 330円
-
ドン・キホーテの旅 630円
-
NINTENDOパズルコレクションドクターマリオ＋ヨッシーのクッキー＋パネルでポン 220円
-
凡才の集団は孤高の天才に勝る 990円
-
BLOOD・C OFFICIAL COMPLETE BOOK胎動 550円
-
ファイナルファンタジータクティクス－公式攻略本－ 800円
-
ザ・キング・オブ・ファイターズ'96～アンソロジー 165円
-
悪魔城ドラキュラ黙示録パーフェクトガイド 220円
-
パソコン美少女ゲーム攻略スペシャル＜6＞ 165円