歡迎光臨中圖網 請 | 注冊

邏輯迷宮

出版社：新星出版社出版時間：2023-01-01
開本： 16開 頁數(shù)： 416
本類榜單：哲學/宗教銷量榜
中 圖 價:¥51.8(7.2折) 定價  ¥72.0 登錄后可看到會員價
加入購物車 收藏
運費6元，滿39元免運費
?新疆、西藏除外
本類五星書更多>

邏輯迷宮 版權信息

  • ISBN：9787513347693
  • 條形碼：9787513347693 ; 978-7-5133-4769-3
  • 裝幀：平裝-膠訂
  • 冊數(shù)：暫無
  • 重量：暫無
  • 所屬分類：>>

邏輯迷宮 本書特色

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

邏輯迷宮 內容簡介

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

邏輯迷宮 目錄

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

邏輯迷宮 作者簡介

雷蒙德·M.斯穆里安，世界著名數(shù)學家、邏輯學家、哲學家，同時還是鋼琴演奏家和魔術師。他于1959年在普林斯頓大學獲得哲學博士學位，先后任教于達特茅斯學院、普林斯頓大學、印第安納大學、紐約城市大學雷曼學院等。斯穆里安著有《這本書叫什么？》等多部邏輯學暢銷書，致力于傳播邏輯學知識，他的著作一直是多所學校邏輯學入門書目。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服