|
關于我們
 書單推薦 新書推薦 |
邏輯學實驗教程 
定 價：29 元
9 7 0 8 4 7 0 3 4 1 5 0 2
《南開哲學教材系列：邏輯學實驗教程》包括兩部分內(nèi)容。第一部分是一些在線的亞里士多德三段論邏輯、數(shù)理邏輯和模態(tài)邏輯等的邏輯學習軟件簡介。第二部分是LPL軟件的操作與應用。作者在《數(shù)理邏輯實驗教程》中，已經(jīng)較詳細地介紹了LPL軟件的（操作）命令。本教材主要講解LPL中三個軟件Fitch、Boole和Tarski’sWorld的操作和應用。本教材在編寫過程中，主要參考了Jon Barwise和John Etchemendy兩人合著的《語言證明邏輯》（Language Proof Logie）一書，特別是“You try it”以及我編著的《數(shù)理邏輯實驗教程》。
你還可能感興趣
我要評論
|
