登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

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

11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書

『簡體書』符号逻辑:语法、语义和证明

書城自編碼: 2801171
分類:簡體書→大陸圖書→社會科學語言文字
作者: [美]大卫·W.安格勒著;陈素艳,张秀蕊译
國際書號(ISBN): 9787030480392
出版社: 科学出版社
出版日期: 2016-04-01
版次: 31 印次: 1
頁數/字數: /500
書度/開本: B5 釘裝: 平装

售價:HK$ 148.5

我要買

share:

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


新書推薦:
理论的意义
《 理论的意义 》

售價:HK$ 74.8
悬壶杂记:医林旧事
《 悬壶杂记:医林旧事 》

售價:HK$ 52.8
谁之罪?(汉译世界文学5)
《 谁之罪?(汉译世界文学5) 》

售價:HK$ 52.8
民国词社沤社研究
《 民国词社沤社研究 》

售價:HK$ 140.8
帕纳索传来的消息(文艺复兴译丛)
《 帕纳索传来的消息(文艺复兴译丛) 》

售價:HK$ 108.9
DK威士忌大百科
《 DK威士忌大百科 》

售價:HK$ 294.8
小白学编织
《 小白学编织 》

售價:HK$ 65.8
Android游戏开发从入门到精通 第2版   王玉芹
《 Android游戏开发从入门到精通 第2版 王玉芹 》

售價:HK$ 108.9

 

建議一齊購買:

+

HK$ 36.3
《实用主义与美国思想文化译丛:经验主义与心灵哲学》
+

HK$ 166.8
《女人、火与危险事物:范畴显示的心智(全二册)》
+

HK$ 42.1
《做哲学:如何更清晰地思考、写作和争论》
+

HK$ 78.0
《逻辑学十五讲(第二版)》
+

HK$ 112.5
《总体与无限:论外在性》
內容簡介:
本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题,命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言并不能完全充分表达所有有效论证和语义关系,谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性,真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。

 

 

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