數(shù)理邏輯實(shí)驗(yàn)教程

內(nèi)容概要

　　《數(shù)理邏輯實(shí)驗(yàn)教程》的目的是為了幫助更多的學(xué)生在學(xué)習(xí)數(shù)理邏輯的課程中，利用邏輯軟件，更好地理解數(shù)理邏輯的思想、更快地掌握數(shù)理邏輯的方法。

書籍目錄

第一部分　邏輯軟件簡(jiǎn)介　第一章　在線邏輯軟件簡(jiǎn)介　　第一節(jié)　propositional logic簡(jiǎn)介　　第二節(jié)　predicate logic簡(jiǎn)介　　第三節(jié)　Tree Proof Generater簡(jiǎn)介　第二章　LPL Software簡(jiǎn)介　　第一節(jié)　Tarski’s World 5．0的命令和操作方法  　　第二節(jié)　Tarski’S World 6．5的命令和操作方法　　第三節(jié)  Boole 2．5的命令和操作方法　　第四節(jié)　Fitch 2．5的命令和操作方法第二部分　命題邏輯　第三章　簡(jiǎn)單命題　　第一節(jié)　簡(jiǎn)單命題　　第二節(jié)　集論語言和算術(shù)語言　　第三節(jié)　廣義的一階語言　　第四節(jié)　證明方法　　第五節(jié)　形式證明方法　  練習(xí)　第四章　復(fù)合命題(一)　……第三部分　量詞邏輯參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)理邏輯實(shí)驗(yàn)教程 PDF格式下載

---