同類熱銷排行榜

實驗邏輯學(第3版)/南開大學十四五規劃精品教材叢書

作者：編者:李娜|責編:劉兵
出版社：南開大學
ISBN：9787310066285

出版日期：2024/12/01
裝幀：平裝
頁數：309

人民幣：RMB 68 元售價：元

內容大鋼

數理邏輯中有許多可操作的方法，如真值表方法、形式推理方法等。為配合數理邏輯的學習，本教材將這些方法通過邏輯學習軟體LPL（Language，Proof and Logic）展現出來。學習者可以通過在電腦上操作（或者實驗）邏輯學習軟體LPL，正確理解數理邏輯中的思想，熟練掌握數理邏輯中的方法，也可以配合本教材的慕課「實驗邏輯學」進行學習。
本教材可作為哲學、數學、語言學、邏輯學等相關專業學生學習數理邏輯的輔助教材，也可為人工智慧研究者提供參考。

作者介紹

編者:李娜|責編:劉兵

第一編  LPL軟體簡介
第l章  Tarski'sWorld7.2簡介
  1.1  啟動
  1.2  世界控制板
  1.3  語句控制板
  1.4  驗證語法和真值
  1.5  玩遊戲
  1.6  偏好
第2章  Fitch3.7簡介
  2.1  啟動
  2.2  創建和編輯證明
  2.3  目標
  2.4  複製和粘貼
  2.5  列印證明
  2.6  建立練習
  2.7  參數設置
第3章  Boole4.2簡介
  3.1  啟動
  3.2  編寫真值表
  3.3  指定評價
  3.4  驗證表
  3.5  保存或列印表
  3.6  選擇參數
第二編  實驗邏輯學
第4章  原子語句
  4.1  原子語句
  4.2  廣義的一階語言
  4.3  集合論的一階語言
第5章  原子語句的邏輯
  5.1  有效和可靠的論證
  5.2  在Fitch中構造證明
  5.3  非后承的證明
第6章  布爾聯結詞
  6.1  否定符號
  6.2  合取符號
  6.3  析取符號
  6.4  圓括弧
  6.5  等值式
  6.6  翻譯
第7章  布爾聯結詞的邏輯
  7.1  重言式和邏輯真
  7.2  邏輯等值和重言等值
  7.3  邏輯后承和重言后承
  7.4  在Fitch中的重言后承
  7.5  移動否定符號
  7.6  合取和析取範式
第8章  布爾邏輯的證明方法（一）
  8.1  分情況證明
  8.2  間接證明：矛盾證明
第9章  布爾邏輯的證明方法（二）

  9.1  合取規則
  9.2  析取規則
  9.3  否定規則
  9.4  子證明的正確使用
  9.5  計劃和策略
  9.6  沒有前提的證明
第10章  蘊涵
  10.1  實質蘊涵符號
  10.2  真值函項的完全性
第11章  蘊涵的邏輯
  11.1  證明的非形式方法
  11.2  一和H證明的形式規則
  11.3  可靠性和完全性
  11.4  有效推理
第12章  量詞
  12.1  公式和閉公式
  12.2  量詞語義
  12.3  四種亞里士多德形式
  12.4  翻譯複雜的名詞片語
  12.5  各種符號
第13章  量詞的邏輯
  13.1  一階有效性和一階后承
  13.2  一階等值式和德摩根律
  13.3  其他量詞化等值式
  13.4  公理化方法
  13.5  引理
第14章  多重量詞
  14.1  一個量詞的多重用法
  14.2  混合量詞
  14.3  一步一步的翻譯方法
  14.4  釋義英語
  14.5  含糊和語境制約
  14.6  前束範式
  14.7  一些另外的翻譯
第15章  量詞的證明方法
  15.1  一般條件的證明方法
  15.2  包含混合量詞的證明
  15.3  公理化的形狀
第16章  形式證明與量詞
  16.1  全稱量詞規則
  16.2  存在量詞規則
  16.3  策略和手段
  16.4 （一階的）可靠性和完全性
附錄  Fitch推理規則一覽表
參考文獻

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

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

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

同類熱銷排行榜

最近瀏覽的商品

實驗邏輯學(第3版)/南開大學十四五規劃精品教材叢書