商品货号 12968256

对比 收藏 (0)

基本逻辑学——思维与表达正确性问题探究

售价降价通知

市场价 ¥217.27

上架时间

2022-04-16

累积评价0人评价
累计销量
赠送积分155

数量

减少数量增加数量有货

立即购买加入购物车手机购买

平台自营

商家名称：: 标准查询网

客服邮件：: 2591325828@qq.com

客服电话：: 010-62993931

在线客服：

扫一扫，手机访问微商城

最近上新

加入购物车

商品名称：基本逻辑学——思维与表达正确性问题探究
商品编号：12968256
品牌：
上架时间：2022-04-16

内容简介：

《基本逻辑学：思维与表达正确性问题探究》旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。《基本逻辑学：思维与表达正确性问题探究》将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析与理论解释，形式逻辑以及逻辑电路实现，形式逻辑系统的有效性、可靠性和完备性，适用于解决现实问题的代名词逻辑，代名词逻辑的有效性、可靠性和完备性以及作为优美的概念文字的基本集合理论。《基本逻辑学：思维与表达正确性问题探究》还将向读者解释理性思考过程中出发点选择的自由以及一致性的含义。
　　作者希望《基本逻辑学：思维与表达正确性问题探究》是一本介于现有形式逻辑教材以及数理逻辑专业教材之间的自学读物。尽管《基本逻辑学：思维与表达正确性问题探究》事实上将数理逻辑的基本内容以代名词逻辑的形式展现出来，但《基本逻辑学：思维与表达正确性问题探究》的着眼点不是数学和数学基础，而是哲学、法学、经济学以及其他社会科学，因为作者真心希望这些领域中的许多青年读者可以从中得益。作者甚至还希望在诸多理科领域中也会有不少的青年读者可以从本《基本逻辑学：思维与表达正确性问题探究》得益。
　　“工欲善其事，必先利其器”。“心之官则思”，思者宜用利器。

目录
序言
第1章引子：数 1
第2章命题逻辑 39
2.1 基本问题 40
2.2 判断 40
2.2.1 否定判断 42
2.2.2 析取判断 46
2.2.3 合取判断 51
2.2.4 蕴含判断 52
2.2.5 对等判断 56
2.3 真假表示与计算 57
2.3.1 真假值代数 57
2.3.2 抽象逻辑门 65
2.3.3 电子逻辑门 67
2.4 判断分析 75
2.4.1 造句 77
2.4.2 逻辑赋值 83
2.4.3 逻辑赋值计算例子 95
2.4.4 布尔函数与真值表 99
2.4.5 可受益性与相对真理 101
2.4.6 逻辑等价与重言式 104
2.5 演绎推理 105
2.5.1 逻辑公理与推理法则 107
2.5.2 可靠性与完备性 115
2.5.3 有限性与紧致性 116
2.6 附录一：历史注记 117
2.7 附录二：有限与无穷 124
第3章代名词表达式逻辑 128
3.1 问题与假设 129
3.2 表达式构造篇 133
3.2.1 基本概念与基本判断 133
3.2.2 词汇表与表达式 134
3.2.3 代名词表达式锦帛矩阵 142
3.2.4 替换与可替换性 156
3.3 损益篇 157
3.3.1 名词含义解释 158
3.3.2 基本表达式语义及其损益 159
3.3.3 基本概念与基本判断范例 162
3.3.4 代名词表达式语义及其损益 165
3.3.5 复合判断范例 172
3.4 真理篇 184
3.4.1 逻辑等价 184
3.4.2 合理性与真实性 187
3.4.3 普遍真理范例 189
3.5 推理篇 196
3.5.1 逻辑公理 197
3.5.2 非逻辑公理 199
3.5.3 论证 203
3.5.4 一致性 205
3.5.5 尴尬兵器商与韩非子定理 205
3.5.6 完全性与独立性 210
3.5.7 可靠性与完备性 214
3.5.8 逻辑基本定理 215
3.5.9 韩非子定理之证明 217
第4章集合代数 225
4.1 集合代数语言 225
4.2 集合存在性 229
4.3 集合N与序数 244
4.4 笛卡尔乘积与函数 255
4.5 有限集合与无限集合 270
4.6 递归定义以及自然数算术运算 276
4.7 纯粹有限集合 285
4.8 整数与有理数 289
4.8.1 整数 289
4.8.2 有理数 292
第5章局限与完全 297
5.1 数理论与组织结构 298
5.1.1 自然数算术标准模型 298
5.1.2 整数算术标准模型 301
5.1.3 有理数算术标准模型 303
5.2 自然数算术理论之局限 306
5.3 算术理论完全化 309
5.4 有理数序理论 312
5.5 力学基本理论完全化 315
5.5.1 伽利略自由落体力学 317
5.5.2 牛顿力学 324
5.5.3 爱因斯坦相对论 327
第6章计算与可计算 333
6.1 计算模型 334
6.1.1 算法 334
6.1.2 递归函数 340
6.1.3 图灵机可计算函数 348
6.2 不可计算性 368
6.2.1 图灵机编码 370
6.2.2 通用图灵机概述 372
6.2.3 判定问题无解 375
6.3 计算机——逻辑机器 378
6.3.1 计算机结构 379
6.3.2 计算机硬件系统 389
6.3.3 计算机软件系统 395
6.4 附录：计算机发展简介 398
索引 401
跋 408

商品评价

0%
好评度
好评(0%)

中评(0%)

差评(0%)

全部评价(0)
好评(0)
中评(0)
差评(0)
用户晒单(0)

售后保障

售前服务电话：010-62993931
售后服务电话：010-62993931

本商城向您保证所售商品均为正品行货。本商城还为您提供具有竞争力的商品价格和运费政策，请您放心购买！

注：因厂家会在没有任何提前通知的情况下更改产品包装、产地或者一些附件，本司不能确保客户收到的货物与商城图片、产地、附件说明完全一致。只能确保为原厂正货！若本商城没有及时更新，请大家谅解！

权利声明：
本商城上的所有商品信息、客户评价、商品咨询、网友讨论等内容，是标准查询网重要的经营资源，未经许可，禁止非法转载使用。

注：本站商品信息均来自于厂商，其真实性、准确性和合法性由信息拥有者（厂商）负责。本站不提供任何保证，并不承担任何法律责任。

常见问题

下单后可以修改订单吗？

由本网站发货的订单，在订单发货之前可以修改，打开“订单详情”页面，若已经出现物流信息，则表示订单无法修改。

无货商品几天可以到货？

您可以通过以下方法获取商品的到货时间：若商品页面中，显示“无货”时：商品具体的到货时间是无法确定的，您可以通过商品页面的“到货通知”功能获得商品到货提醒。

订单如何取消？

如订单处于暂停状态，进入“我的订单"页面，找到要取消的订单，点击“取消订单”按钮,若已经有物流信息,则不能取消订单。

可以开发票吗？

本网站所售商品都是正品行货，均开具正规发票（图书商品用户自由选择是否开发票），发票金额含配送费金额，另有说明的除外。

如何联系商家？

在商品页面右则，您可以看到卖家信息，点击“联系客服”按钮，咨询卖家的在线客服人员，您也可以直接致电。

收到的商品少了/发错了怎么办？

同个订单购买多个商品可能会分为一个以上包裹发出，可能不会同时送达，建议您耐心等待1-2天，如未收到，本网站自营商品可直接联系标准查询网在线客服。

如何申请退货/换货？

登陆网站，进入“我的订单”，点击客户服务下的返修/退换货或商品右则的申请返修/退换货，出现返修及退换货首页，点击“申请”即可操作退换货及返修，提交成功后请耐心等待，由专业的售后工作人员受理您的申请。

退/换货需要多长时间？

一般情况下，退货处理周期（不包含检测时间）：自接收到问题商品之日起 7 日之内为您处理完成，各支付方式退款时间请点击查阅退款多久可以到账；
换货处理周期：自接收到问题商品之日起 15 日之内为您处理完成。

基本逻辑学——思维与表达正确性问题探究当商品价格低于您设定的价格我们将通知您，通知短信最多发送一次，不会对您造成干扰。
现价：	¥155.19
*价格低于：	元时通知我！
*手机号码：	我们将以短信通知您
*邮箱：	您还可以通过邮件接收

当商品进行补货时，我们将以短信、邮件的形式通知您，最多发送一次，不会对您造成干扰。
*数量：
*手机号码：
*电子邮箱：

商家：

帮助：

基本逻辑学——思维与表达正确性问题探究

推荐精品

相关分类

同类品牌

最近上新

购物车

红包

购物车

我的足迹

商家：

帮助：

基本逻辑学——思维与表达正确性问题探究

推荐精品

相关分类

同类品牌

最近上新

购物车

红包

购物车

我的足迹

用户登陆