书堆儿你看书我买单
凤翔区图书馆开通在线免押金办证了
热门搜索： 旅游 、 孤独六讲 、 胜者思维 、 儿童 、 家庭 、 杨红樱 、 团队 、 欢乐颂
书堆儿服务号
书堆儿App
我的书架

数理逻辑的思想和方法

作者:昂扬 编著 林胜强、李晟 修订出版时间：2024/1/1出版社：上海人民出版社
ISBN:9787208187207价格:￥98
  分享至
借阅 加入书架 借阅规则
内容简介
先有思想的形式化还是先有形式化的思想？思想的形式化重要还是形式化的思想重要？本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。本书避免使用过于复杂和烦琐的数学证明和推导，通过本书，读者会了解到不太一样的数理逻辑和逻辑哲学。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐