JDirectItems Auction>書籍、雜誌>書籍、雜誌>工程學>電氣電子工程

定理証明手習いラムダノート Daniel P. Friedman

出價次數: 0 出價紀錄

剩餘時間: 1745813074 1745398442 4 日 19:10:31 :: : 確認中請稍後已結束

無自動延長

直購價: 3,000 円 (NTD 717)
直購價(含稅): 3,300 円 (NTD 789)
日本國內運費 運費未知：未設定未知: 付款後購買

配送方法 & 運費說明

出貨地區：岡山県

倉庫所在地：神奈川縣

運費未知：未設定

※ 以上運費資訊僅供參考，實際運費價格請依賣家商品說明為主。

運費說明

日本當地運費：在商品說明中描述。若未說明、表示由買方支付。商品所在地：岡山県

岡山県 到 神奈川县 的運費參考:

60 cm : 970円

80 cm : 1,180円

100 cm : 1,400円

120 cm : 1,610円

140 cm : 1,830円

160 cm : 2,040円

170 cm : 2,360円

※ 以上為日本郵便參考運費，實際運費價格請查看商品說明。

賣家資訊

wjrbb99496

評價： 99.4% ( 325 2 )

出貨地區：岡山県

費用計算加入追蹤

商品狀態

商品新舊：沒有明顯的傷痕或髒汙
提前結標：不可
商品數量
： 1
可否退貨：不可
開始時間： 2025-04-21 12:04:39 (台灣時間)
最高出價者：無
結束時間： 2025-04-28 12:04:39 (台灣時間)
起標價格
： 3000 円
自動延長：無
拍賣編號： o1165532638

貼心提示

打火機限用日本郵政海運寄送。
此賣家為店家，可能需支付10%消費稅。
請注意︰差評內容是否有買家說商品瑕疵甚至商品不符及仿品等不良紀錄。

商品說明
拍賣問與答(0)

(此參考翻譯（中文）功能是由Google翻譯所提供，代購幫不保證翻譯內容之正確性)

		定理証明手習いラムダノート Daniel P. Friedman

SKU

02Z-241213016027001-002

jan

9784908686023

コンディション

中古 - 非常に良い

コンディション説明

多少のスレ、ヨレ等使用感のみで良好です。※注意事項※■商品・状態はコンディションガイドラインを参考に、判断・出品されております。状態については説明文を一読ください。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。※

送料

ゆうメール

商品説明

【当店の商品詳細・付属品や状態はコンディション説明でご確認ください。こちらに記載がある場合は書籍本体・内容の説明や元の付属品の説明であり、当店の商品とは異なる場合があります。参考としてご覧ください。】

あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。なんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる "The Little Prover" です。 ((目次) (監訳者序文) (序文) (はじめに) (((1.いつものゲームに新しいルールを)) (例)) (((2.もう少し、いつものゲームを)) (例)) (((3.名前に何が？)) (証明)) (((4.これが完全なる朝食)) (証明)) (((5.何回も何回も何回も考えよう)) (証明)) (((6.最後まで考え抜くのです)) (証明)) (((7.びっくりスター！)) (証明)) (((8.これがルールです)) (証明)) (((9.ルールを変えるには)) (証明)) (((10.いつかはスターで一直線)) (証明)) ((A.放課後)) ((B.デザートには証明を・・・