登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

2024年06月出版新書

2024年05月出版新書

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

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

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

售價:NT$ 743

我要買

share:

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



新書推薦:
德国天才4:断裂与承续
《 德国天才4:断裂与承续 》

售價:NT$ 500.0
妈妈的情绪,决定孩子的未来
《 妈妈的情绪,决定孩子的未来 》

售價:NT$ 194.0
推拿纲目
《 推拿纲目 》

售價:NT$ 1836.0
精致考古--山东大学实验室考古项目论文集(一)
《 精致考古--山东大学实验室考古项目论文集(一) 》

售價:NT$ 1112.0
从天下到世界——国际法与晚清中国的主权意识
《 从天下到世界——国际法与晚清中国的主权意识 》

售價:NT$ 347.0
血色帝国:近代英国社会与美洲移民
《 血色帝国:近代英国社会与美洲移民 》

售價:NT$ 265.0
海外中国研究·王羲之:六朝贵族的世界(艺术系列)
《 海外中国研究·王羲之:六朝贵族的世界(艺术系列) 》

售價:NT$ 811.0
唐宋绘画史  全彩插图版
《 唐宋绘画史 全彩插图版 》

售價:NT$ 449.0

建議一齊購買:

+

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

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

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

NT$ 390
《 逻辑学十五讲(第二版) 》
+

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

 

 

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