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

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