作品介紹

實驗邏輯學


作者:李娜編     整理日期:2018-11-18 09:38:04


  《實驗邏輯學》共十六章, 其中diyi至三章主要介紹本書所用到的軟件 —— “塔斯基世界”, 第四至十六章分別介紹運用該軟件實現邏輯運算, 包括原子語句及其邏輯、布爾聯結詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。





上一本:基于人格缺陷問題研究 下一本:1807

作家文集

下載說明
實驗邏輯學的作者是李娜編,全書語言優(yōu)美,行文流暢,內容豐富生動引人入勝。為表示對作者的支持,建議在閱讀電子書的同時,購買紙質書。

更多好書