數理邏輯實驗教程

《數理邏輯實驗教程》是2010年武漢大學出版社出版的圖書，作者是李娜。

基本介紹

• 中文名：數理邏輯實驗教程
• 作者：李娜
• 出版社：武漢大學出版社
• 出版時間：2010年10月1日
• 定價：29 元
• 開本：16 開
• ISBN：9787307079915

內容簡介

《數理邏輯實驗教程》的目的是為了幫助更多的學生在洪凶講遷學習數理邏輯的課程中，利用邏輯軟體詢催棗，更好地理解數理邏輯的思想、更快地臘探籃晚掌握數理邏輯的方法。

目錄

第一部分　邏輯軟體簡介

第一章　線上邏輯軟體簡介

第一節　propositional logic簡介

第二節　predicate logic簡介

第三節　Tree Proof Generater簡介

第二章　LPL Software簡介

第一節　Tarski’s World 5．0的命令和操作方法

第二節　Tarski’S World 6．5的命抹遷擊令和操作方法

第三節 Boole 2．5的淚寒囑命令和操作方法

第四節　Fitch 2．5的命令和操作方法

第二部分　命協邀元題邏輯

第三章　簡單命題

第一節　簡單命題

第二節　集論語言和算術語言

第三節　廣義的習霉一階語言

第四節　證明方法

第五節　形式證明方法

練習

第四章　複合命題(一)

……

第三部分　量詞邏輯

參考文獻