關(guān)于我們
書單推薦
新書推薦

實驗邏輯學(xué)(第2版)/南開哲學(xué)教材系列

實驗邏輯學(xué)(第2版)/南開哲學(xué)教材系列

定  價:58 元

叢書名:南開哲學(xué)教材系列

        

  • 作者:李娜 著,李娜 編
  • 出版時間:2021/1/1
  • ISBN:9787310060146
  • 出 版 社:南開大學(xué)出版社
  • 中圖法分類:B81-06 
  • 頁碼:478
  • 紙張:
  • 版次:2
  • 開本:32開
9
7
0
8
6
7
0
3
1
1
4
0
6
本書是一部為高等院校實驗邏輯學(xué)教學(xué)而編寫的通用教材,是在該書版的基礎(chǔ)上修訂而成。全書共分為兩編十六章:編“LPL(語言、證明和邏輯)軟件介紹”分三章,主要介紹了本書所用到的軟件--“塔斯基世界”,?第二編“實驗邏輯學(xué)”包括四至十六章,分別介紹了運用該軟件實現(xiàn)邏輯運算的原子語句及其邏輯、布爾聯(lián)結(jié)詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容