登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 谢谢你来到我的生命：狗狗带给我们的治愈与改变 》 售價：NT$ 234.0 《 情感觉醒：揭秘亲密关系背后的真相 》 售價：NT$ 311.0 《 诸葛亮 》 售價：NT$ 359.0 《 解密：梦的诞生 》 售價：NT$ 874.0 《 课长，这不是恋爱，这就是性骚扰！ 》 售價：NT$ 208.0 《 人文与社会译丛：我们中的我（承认理论研究） 》 售價：NT$ 359.0 《 （守望者·人间世）自我：与齐格蒙特·鲍曼对谈 》 售價：NT$ 374.0 《 白蛇：浮生艺术画集 》 售價：NT$ 874.0

建議一齊購買： + NT$ 1190 《 人工智能：一种现代的方法（第3版）（世界著名计算机教材精选） 》 + NT$ 605 《 妇产科学（第八版/本科临床/十二五规划教材） 》 + NT$ 605 《 药理学（第八版/本科临床/十二五规划教材） 》 + NT$ 751 《 货币金融学（第九版）（经济科学译丛；“十一五”国家重点图书出版规划项目） 》 + NT$ 473 《 基础有机化学 第三版 （上册）（新版） 》 內容簡介： 《南开哲学教材系列：逻辑学实验教程》包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是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软件的操作与应用 第四章 操作与应用（一） 第一节 原子语句的操作与应用 第二节 原子语句逻辑的操作与应用 第五章 操作与应用（二） 第一节 布尔联结词的操作与应用 第二节 布尔联结词逻辑的操作与应用 第六章 操作与应用（三） 第一节 布尔逻辑证明方法的操作与应用 第二节 形式证明和布尔逻辑的操作与应用 第七章 操作与应用（四） 第一节 条件句的操作与应用 第二节 条件句逻辑的操作与应用 第八章 操作与应用（五） 第一节 量词的操作与应用 第二节 量词逻辑的操作与应用 第九章 操作与应用（六） 第一节 多重量词的操作与应用 第二节 量词证明方法的操作与应用 第三节 形式证明与量词的操作与应用

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	香港用户　 |　台灣用户　|　海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.