オークション落札商品中古

【裁断済み】数理論理の手法 -証明の発見と背理法の除去-

この商品の詳細を見る

『【裁断済み】数理論理の手法 -証明の発見と背理法の除去-』はセカイモンで7d2e28acから出品され、470の入札を集めて04月07日 5時 5分に、1173円で落札されました。即決価格は1173円でした。決済方法はに対応。山口県からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。

この商品をお気に入りに登録
同じ商品を出品する

《出品：2021-07-23》＊注意＊・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）・プロフィールの記載を必ずご確認ください上記をご了承のうえ、ご購入ください。【商品の状態・備考】・目立った傷や汚れなし【配送・発送について】佐川急便/日本郵便、もしくは佐川急便/日本郵便で発送いたします。【梱包について】簡易包装でお送りいたします。かんたんに除菌後、以下の順に梱包いたします。1.OPP袋・ビニール袋2.緩衝材3.封筒・ダンボール【商品の保管について】ペットはおらず、喫煙もいたしません。保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。【お取り置き／専用ページについて】商品のお取り置きは一切いたしません。しかし次の2点のいずれかに該当する場合は、専用ページを作成いたします。・値引き交渉の成立・まとめ買い（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。【商品説明】本書は「数学の方法としての実践的論理」の解説書であり、数理論理の基礎的事項とともに「(新たに)証明を発見する方法」および「既存の背理法証明から背理法を除去する方法」を述べた書物である。本書の方法を用いれば、原理的には任意の(証明可能な)定理の証明を機械的に発見することができるほか、背理法による証明を非背理法証明に機械的に書き換えることによって、格段に多くの情報を得ることができる.※Amazon.co.jpより引用#数学#論理学#数理#算数

カテゴリー:	本・雑誌・漫画>>>本>>>語学・辞書・学習参考書
商品の状態:	目立った傷や汚れなし
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	新潟県
発送までの日数:	2~3日で発送