幫助中心 | 我的帳號 | 關於我們

邏輯迷宮

  • 作者:(美)雷蒙德·M.斯穆里安|責編:楊猛|譯者:林田//黃閃閃
  • 出版社:新星
  • ISBN:9787513347693
  • 出版日期:2023/01/01
  • 裝幀:平裝
  • 頁數:416
人民幣:RMB 72 元      售價:
放入購物車
加入收藏夾

內容大鋼
    《邏輯迷宮》是一本趣味橫生地講述形式邏輯主題的故事書,融合了眾多讀者喜聞樂見的邏輯謎題,以一種獨特的方式來普及數理邏輯。從第一章到第十六章有大量的趣味謎題供讀者思考,包括說謊和講真話的邏輯、沉默的騎士和無賴等,循著本書生動活潑的語言,讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學、無窮和保有效性以及形式系統的性質等邏輯學基礎知識。同時,本書還提供了豐富的練習及答案,這些練習並不拘泥於符號的正確運用,而是重在讓讀者理解證明的構造過程。本書既可以作為普通讀者走入邏輯學大門的科普書,也可以作為大學本科和研究生的課外讀物。

作者介紹
(美)雷蒙德·M.斯穆里安|責編:楊猛|譯者:林田//黃閃閃
    雷蒙德·M.斯穆里安(Raymond M.Smullyan,1919-2017),世界著名邏輯學家、數學家,也是一位職業鋼琴演奏家和職業魔術師。1959年于普林斯頓大學獲得哲學博士學位。先後任教於達特茅斯學院、普林斯頓大學、印第安納大學、紐約城市大學雷曼學院等。     哥德爾不完全性定理研究專家,系統地發展了表列證明方法,並致力於向普通讀者普及數理邏輯。著有30余部著作,包括數理邏輯專業著作以及趣味邏輯謎題書,如《形式系統的理論》《一階邏輯》《哥德爾不完全性定理》《元數學的遞歸論》《對角化和自指》《這本書叫什麼?》《邏輯迷宮》《哥德爾謎題書》等。

目錄
第一部分  明智地概括
  第一章  說謊和講真話的邏輯
  第二章  男性還是女性?
  第三章  沉默的騎士和無賴
  第四章  發瘋還是清醒?
  第五章  困難重重!
  第六章  統一化
第二部分  明智地符號化
  第七章  命題邏輯初步
  第八章  說謊者、誠實的人以及命題邏輯
  第九章  善變的說謊者
  第十章  邏輯聯結詞和善變的說謊者
  第十一章  語義表方法
  第十二章  所有和有些
  第十三章  一階邏輯初步
第三部分  無窮性
  第十四章  無窮的本質
  第十五章  數學歸納
  第十六章  廣義歸納、柯尼格引理與緊致性
第四部分  一階邏輯的重要結論
  第十七章  命題邏輯的重要結論
  第十八章  一階邏輯:完全性、緊致性和司寇倫-駱文海定理
  第十九章  正則定理
第五部分  公理系統
  第二十章  開始公理化
  第二十一章  更多的命題公理系統
  第二十二章  一階邏輯的公理系統
第六部分  一階邏輯深入
  第二十三章  克雷格插值引理
  第二十四章  羅賓遜定理
  第二十五章  貝思可定義性定理
  第二十六章  大一統
  第二十七章  一階邏輯展望
參考文獻
名詞索引
中英文名詞對照

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們Top↑
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話:02-2381-2033 02-2381-1863 時間:週一-週五 10:00-17:00
 服務信箱:bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證:浙B2-20060032