TOP
0
0
魅麗。花火原創小說66折起
邏輯學實驗教程(簡體書)
滿額折

邏輯學實驗教程(簡體書)

人民幣定價:29 元
定  價:NT$ 174 元
優惠價:87151
領券後再享89折
無庫存,下單後進貨(採購期約45個工作天)
可得紅利積點:4 點
相關商品
商品簡介
目次

商品簡介

《南開哲學教材系列:邏輯學實驗教程》包括兩部分內容。第一部分是一些在線的亞裡士多德三段論邏輯、數理邏輯和模態邏輯等的邏輯學習軟件簡介。第二部分是LPL軟件的操作與應用。作者在《數理邏輯實驗教程》中,已經較詳細地介紹了LPL軟件的(操作)命令。本教材主要講解LPL中三個軟件Fitch、Boole和Tarski’sWorld的操作和應用。本教材在編寫過程中,主要參考了Jon Barwise和John Etchemendy兩人合著的《語言證明邏輯》(Language Proof Logie)一書,特別是“You try it”以及我編著的《數理邏輯實驗教程》。.

目次

第一篇 在線邏輯學習軟件簡介
第一章 亞裡士多德邏輯學習軟件簡介
第一節 Computational Aristotelian Term Logtic簡介
第二節 Philosophy Lander簡介
第二章 數理邏輯學習軟件簡介
第一節 Llsing Truth Fables簡介
第二節 Plato簡介
第三章 模態邏輯和動態邏輯學習軟件簡介
第一節 modal logic簡介
第二節 dynamic logic簡介
第二篇 LPL軟件的操作與應用
第四章 操作與應用(一)
第一節 原子語句的操作與應用
第二節 原子語句邏輯的操作與應用
第五章 操作與應用(二)
第一節 布爾聯結詞的操作與應用
第二節 布爾聯結詞邏輯的操作與應用
第六章 操作與應用(三)
第一節 布爾邏輯證明方法的操作與應用
第二節 形式證明和布爾邏輯的操作與應用
第七章 操作與應用(四)
第一節 條件句的操作與應用
第二節 條件句邏輯的操作與應用
第八章 操作與應用(五)
第一節 量詞的操作與應用
第二節 量詞邏輯的操作與應用
第九章 操作與應用(六)
第一節 多重量詞的操作與應用
第二節 量詞證明方法的操作與應用
第三節 形式證明與量詞的操作與應用

您曾經瀏覽過的商品

購物須知

大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。

特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。

無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。

為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。

若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

優惠價:87 151
無庫存,下單後進貨
(採購期約45個工作天)

暢銷榜

客服中心

收藏

會員專區