數理邏輯入門(簡體書)
- ISBN13:9787518421831
- 出版社:中國輕工業出版社
- 作者:(美)雷蒙德‧M.斯穆里安
- 裝訂/頁數:平裝/370頁
- 規格:24cm*17cm (高/寬)
- 版次:一版
- 出版日:2019/04/01
商品簡介
作為一位終生思考如何以好的方式表達數理邏輯問題的學者,作者在該書中由淺入深地介紹了命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識;特別是以簡單易懂的形式闡釋了哥德爾不完全性定理,說明了由其本人發展的表列證明方法,並穿插大量習題,于每章末給出所有習題的答案,於結尾處附上術語對照表,使得該書非常適合作為數理邏輯入門教材。
除了學者的身份,作者還是一位趣味謎題專家,致力予面向普通讀者寫作,將深奧的思想以故事和謎題的形式講述,這使得該書在介紹任何知識時都不設定專業基礎,採取層層遞進的方式,同時還有趣味十足的例子,適合作為數理邏輯普及讀物。
《萬千教育.數理邏輯入門》譯者還特別邀請作者的學生、美國邏輯學家與計算機科學家梅爾文•菲廷(Melvin Fitting)為中文版撰寫了序言,其以簡單的語言指出了數理邏輯的關鍵以及該書的核心所在,便於讀者整體把握數理邏輯的基本問題。
主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。