數理邏輯實驗教程
出版時間：2010-10 出版社：武漢大學 作者：李娜 頁數：271
Tag標簽：無
內容概要
《數理邏輯實驗教程》的目的是為了幫助更多的學生在學習數理邏輯的課程中，利用邏輯軟件，更好地理解數理邏輯的思想、更快地掌握數理邏輯的方法。
書籍目錄
第一部分 邏輯軟件簡介 第一章 在線邏輯軟件簡介 第一節(jié) propositional logic簡介 第二節(jié) predicate logic簡介 第三節(jié) Tree Proof Generater簡介 第二章 LPL Software簡介 第一節(jié) Tarski’s World 5．0的命令和操作方法 第二節(jié) Tarski’S World 6．5的命令和操作方法 第三節(jié) Boole 2．5的命令和操作方法 第四節(jié) Fitch 2．5的命令和操作方法第二部分 命題邏輯 第三章 簡單命題 第一節(jié) 簡單命題 第二節(jié) 集論語言和算術語言 第三節(jié) 廣義的一階語言 第四節(jié) 證明方法 第五節(jié) 形式證明方法 練習 第四章 復合命題(一) ……第三部分 量詞邏輯參考文獻
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載