中教金典
荐购选采服务
馆配数据采访
教材巡展网上行
客户服务
欢迎进入中教图书商城!
购物车
登录
注册
集团用户激活
首页
中图法目录
出版社目录
新书目录
书单推荐
购物指南
关于我们
关于我们
平 台 介 绍
购 物 指 南
荣 誉 资 质
联 系 我 们
新书资讯
·---------------向阳生长 不负春
·---------------------国际妇女节
·惊蛰节气书单
·雨润万物 春回大地│雨水节气荐读
·大寒节气书单
·2024年新春荐读书单
·大码洋书目精选
·2024年1月荐读书单
新书推荐
·365名师讲堂--句透经典
·猫城记:老舍幻想集
·青年毛泽东
·创业韬略
·法律方法(第41卷)
·教子真有道
·书写未来:用书法思维提升孩子性
·中医药适宜技术
数理逻辑的思想和方法
定 价:
¥98
中 教 价:
¥57.82
(5.90折)
库 存 数:
29
丛 书 名:日月光华·哲学书系
作者:昂扬 编著 林胜强、李晟 修订
出版时间:2024/1/1
ISBN:9787208187207
出 版 社:上海人民出版社
适用读者:大众
中图法分类:
B0
页码:
纸张:
版次:1
开本:16开
商品库位:
9
7
1
8
8
7
7
2
2
0
0
8
7
购买数量:
内容简介
先有思想的形式化还是先有形式化的思想?思想的形式化重要还是形式化的思想重要?本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法:不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法,同时也进一步探讨这些形式化方法所包含的生动活泼的思想(这是本书的鲜明特色),便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。本书避免使用过于复杂和烦琐的数学证明和推导,通过本书,读者会了解到不太一样的数理逻辑和逻辑哲学。
你还可能感兴趣
时尚的迷宫
哲学前沿问题与方法论
大道哲学通书
社会世界的意义建构
在道德与现实之间
我要评论
您的姓名
验证码:
留言内容