<tt id="pkpzm"><noscript id="pkpzm"></noscript></tt>
<i id="pkpzm"><address id="pkpzm"></address></i>
    <ruby id="pkpzm"><optgroup id="pkpzm"></optgroup></ruby>

              1. <cite id="pkpzm"><address id="pkpzm"></address></cite>
              2. <strong id="pkpzm"></strong>
                <u id="pkpzm"></u>
                  <u id="pkpzm"><tbody id="pkpzm"></tbody></u>
                1. 萬千教育.數理邏輯入門

                  《萬千教育.數理邏輯入門》


                  作者:
                  [美]雷蒙德·M.斯穆里安(Raymond M. Smullyan)
                  出版日期:
                  2019-04-01
                  字數:
                  210000
                  開本:
                  16
                  頁數:
                  384
                  分類:
                  高等教育
                  ISBN:
                  978-7-5184-2183-1
                  定價:
                  ¥68.00
                  官網優惠價格:
                  54.4

                  購書客服電話:
                  010-85119789 / 010-65241695

                  天貓旗艦店
                  您也可以去 當當京東 購買(點擊圖標進入購買頁)

                  內容簡介

                  作為一位終生思考如何以最好的方式表達數理邏輯問題的學者,作者在本書中由淺入深地介紹了命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識;特別是以簡單易懂的形式闡釋了哥德爾不完全性定理,說明了由其本人發展的表列證明方法,并穿插大量習題,于每章末給出所有習題的答案,于結尾處附上術語對照表,使得本書非?!?/span>
                  展開全部 ]

                  圖書目錄

                  第一部分 一般背景
                  第1章 起點
                  集合論
                  集合的布爾運算
                  文恩圖
                  布爾方程

                  第2章 無窮集
                  無窮集的大小
                  康托爾的偉大發現
                  連續統問題
                  伯恩斯坦-施羅德定理

                  第3章 一些問題出現了!
                  悖論
                  超游戲
                  兩種集……

                  展開全部 ]

                  新書上架



                  撞击清纯侠女玉臀

                  <tt id="pkpzm"><noscript id="pkpzm"></noscript></tt>
                  <i id="pkpzm"><address id="pkpzm"></address></i>
                    <ruby id="pkpzm"><optgroup id="pkpzm"></optgroup></ruby>

                              1. <cite id="pkpzm"><address id="pkpzm"></address></cite>
                              2. <strong id="pkpzm"></strong>
                                <u id="pkpzm"></u>
                                  <u id="pkpzm"><tbody id="pkpzm"></tbody></u>