新入荷
再入荷
定理証明手習い ラムダノート Daniel P. Friedman
4.2
（14件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：28199297742
中古 ：28199297742-1 |
メーカー | 9fce32ea6 | 発売日 | 2025-05-17 12:55 | 定価 | 3000円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
電気電子工学の作品リスト
![[A11090818]電気回路 (マグロウヒル大学演習)](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0506/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img351x500-1718525636yvt7g4411519.jpg)
![[A01058457]電磁気学演習 (物理テキストシリーズ 5) 砂川 重信](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0511/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img350x500-173158057526947sui3t16613.jpg)
![[A12104432]電子回路のコモンセンス: 徹底図解マイコン周辺回路から回路測定とノイズ対策まで (トランジスタ技術special forフレッシ](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0507/users/d4fab30473777a8019148ae00533fa27693af6d4/i-img355x500-1720778384w7iior385952.jpg)
レディースの製品
あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。 なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。 ((目次) (監訳者序文) (序文) (はじめに) (((1.いつものゲームに新しいルールを)) (例)) (((2.もう少し、いつものゲームを)) (例)) (((3.名前に何が？)) (証明)) (((4.これが完全なる朝食)) (証明)) (((5.何回も何回も何回も考えよう)) (証明)) (((6.最後まで考え抜くのです)) (証明)) (((7.びっくりスター！)) (証明)) (((8.これがルールです)) (証明)) (((9.ルールを変えるには)) (証明)) (((10.いつかはスターで一直線)) (証明)) ((A.放課後)) ((B.デザートには証明を・・・
・配送方法は当店指定のものとなります。変更希望の場合は別途追加送料を頂戴します。
・送料無料の商品については、当社指定方法のみ無料となります。
・商品画像へ、表紙についているステッカーや帯等が映っている場合がありますが、中古品の為付属しない場合がございます。
・写真内にある本・DVD・CDなど商品以外のメジャーやライター等のサイズ比較に使用した物、カゴやブックエンド等撮影時に使用した物は付属致しません。