高等院校哲學(xué)專業(yè)核心課程教材：數(shù)理邏輯實(shí)驗(yàn)教程
定 價(jià)：29 元
- 作者：李娜 著
- 出版時(shí)間：2010/10/1
- ISBN：9787307079915
- 出 版 社：武漢大學(xué)出版社
- 中圖法分類：O141
- 頁碼：271
- 紙張：膠版紙
- 版次：1
- 開本：16開
《數(shù)理邏輯實(shí)驗(yàn)教程》的目的是為了幫助更多的學(xué)生在學(xué)習(xí)數(shù)理邏輯的課程中，利用邏輯軟件，更好地理解數(shù)理邏輯的思想、更快地掌握數(shù)理邏輯的方法。
第一部分 邏輯軟件簡介
第一章 在線邏輯軟件簡介
第一節(jié) propositional logic簡介
第二節(jié) predicatcate Logic簡介
第三節(jié) Tree Proof Generater簡介
第二章 LPL Software簡介
第一節(jié) Taki‘s world 5．0的命令和操作方法
第二節(jié) Taki’s world 6．5的命令和操作方法
第三節(jié) Boole 2．5的命令和操作方法
第四節(jié) Fitch 2．5的命令和操作方法
第二部分 命題邏輯
第三章 簡單命題
第一節(jié) 簡單命題
第二節(jié) 集論語言和算術(shù)語言
第三節(jié) 廣義的一階語言
第四節(jié) 證明方法
第五節(jié) 形式證明方法
練習(xí)
第四章 復(fù)合命題（一）
第一節(jié) 邏輯聯(lián)結(jié)詞■、^和v
第二節(jié) 含有■、^和v的邏輯等值式
第三節(jié) 可滿足與邏輯真
第四節(jié) ■、^和v的證明方法
第五節(jié) ■、^和v的形式證明方法
第六節(jié) 范式
練習(xí)
第五章 復(fù)合命題（二）
第一節(jié) 邏輯聯(lián)結(jié)詞_■和■
第二節(jié) ■一和■H的證明方法
第三節(jié) ■和■的形式證明方法
第四節(jié) 形式系統(tǒng)的擴(kuò)展
練習(xí)
第三部分 量詞邏輯
第六章 量詞的引入
第一節(jié) 一階公式
第二節(jié) 含有否定詞和量詞的等值式
第三節(jié) 含有量詞V和]的證明方法
第四節(jié) ■和■的形式證明方法
練習(xí)
第七章 量詞邏輯
第一節(jié) ■V或■的單獨(dú)使用
第二節(jié) ■V和■的混合使用
第三節(jié) ■V和■混合使用的證明方法
第四節(jié) ■V和■混合使用的形式證明方法
第五節(jié) 形式系統(tǒng)的進(jìn)一步擴(kuò)展
第六節(jié) 前束范式
練習(xí)
參考文獻(xiàn)
形式證明規(guī)則一覽表
書單推薦
