《逻辑学实验教程》 - 李娜 - 南开大学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』逻辑学实验教程

書城自編碼： 2036361
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者：李娜
國際書號(ISBN)： 9787310040452
出版社：南开大学出版社
出版日期： 2012-10-01
版次： 1 印次： 1
頁數/字數： 389/355000
書度/開本： 32开釘裝：平装

售價：HK$ 85.6

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《历史动力学：帝国的兴衰密码》
售價：HK$ 107.8

《广岛普利策奖得主首次揭示原子弹爆炸真相 20世纪美国百佳新闻作品TOP1 》
售價：HK$ 63.8

《全生命周期动作发展第7版》
售價：HK$ 272.8

《广西常用动物类中药》
售價：HK$ 107.8

《清末民初的“问题”与“主义” 》
售價：HK$ 104.5

《新中式服装设计、制板与裁剪》
售價：HK$ 96.8

《诗经译注（彩图珍藏本）》
售價：HK$ 217.8

《十九日极夜.完结篇》
售價：HK$ 60.5

建議一齊購買：

HK$ 339.2
《人工智能：一种现代的方法（第3版）（世界著名计算机教材精选）》

HK$ 172.3
《妇产科学（第八版/本科临床/十二五规划教材）》

HK$ 172.3
《药理学（第八版/本科临床/十二五规划教材）》

HK$ 233.1
《货币金融学（第九版）（经济科学译丛；“十一五”国家重点图书出》

HK$ 146.9
《基础有机化学第三版（上册）（新版）》

內容簡介：

《南开哲学教材系列：逻辑学实验教程》包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是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.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.