同類熱銷排行榜

邏輯學入門(普林斯頓大學的經典邏輯課)

作者：(美)漢斯·哈沃森|責編:任逸超|譯者:陳龍//郭佳宏
出版社：中國廣播影視
ISBN：9787504387981

出版日期：2023/01/01
裝幀：平裝
頁數：277

人民幣：RMB 59 元售價：元

內容大鋼

    現代社會，無論學習一門知識，還是從事一種工作，你都需要「邏輯」這一強大的思維方法。如工程師用電腦編程、律師用法律訴訟、投資者炒股、科學家研究新能源新材料、醫生治療疾病等，甚至父母撫育智識健全的下一代都需要用到邏輯思維能力。
    與其他同類邏輯書不同的是，即使你沒有深厚的數學知識，本書依然能教會你科學的邏輯思維和嚴謹的推理技能。本書對基本邏輯符號的應用，都是建立在我們日常生活和學習中所經常運用到的抽象思維能力。與絕大多數邏輯書中使用的「真值樹」來教授你演算法不同，本書培養並強化我們提出論點和評估論點的先天能力。本書還引入自然演繹法，這種方法不僅教會你如何進行證明和解決問題，還教會你有效推理的原則是什麼，以及如何將其應用於學習和工作。
    本書還可以幫你順利過渡到更高級的邏輯主題，教你一些適用於更複雜場景的一般技術，如制定關於特定主題的理論。
    本書的作者教授了20多年的邏輯入門知識，它簡潔、易讀、好學、有趣，能幫你快速培養基本的邏輯素養和推理技能。
    學習好邏輯，將讓你成為更好的思考者。

作者介紹

(美)漢斯·哈沃森|責編:任逸超|譯者:陳龍//郭佳宏

第1章  人類的邏輯
  論證
  邏輯形式
  共同形式
第2章  推演
  否定
  等價
  小結
第3章  假定
  無依賴假定的證明
  實質蘊涵怪論
  從析取前提出發的推理
  歸謬法
第4章  證明:從舊到新
  代入規則
  切規則
  當且僅當
  替換規則
第5章  真
  真值表
  以真來證
  捷徑
  作為可能世界集的命題
第6章  量化
  全稱消去規則
  全稱引入規則
  存在引入規則
  存在消去規則
  量詞和布爾聯結詞的關係
  新的重言式
  快思,細想
第7章  理論
  等詞理論
  序關係
  函數
  算術
  定義
  集合論
  等價關係
  函數關係
第8章  模型
  邏輯語法
  形式化的解釋
  廣義的解釋
  圖表解釋
  嚴謹解釋
  總結
第9章  命題邏輯理論
  基於語句構造的歸納
  真值函數

  一個關於證明的理論
  析取範式
  完全性
第10章  謂詞邏輯理論
  替換
  可靠性
  完全性
  完全與不完全理論
  可判定性
  緊致性
第11章  超越邏輯
  接下來怎麼做
附錄一  推理規則概覽
附錄二  有用的有效推理形式
附錄三  有用的量詞邏輯等價式
附錄四  真值表
附錄五  謂詞邏輯的有效性測試
附錄六辭彙表

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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

同類熱銷排行榜

最近瀏覽的商品

邏輯學入門(普林斯頓大學的經典邏輯課)