作品介紹

實驗邏輯學(xué)


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


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





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

作家文集

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

更多好書