
会员
数理逻辑
邢滔滔更新时间:2019-12-06 19:24:08
最新章节:8 直觉主义完全性开会员,本书免费读 >
国家十五教材。该书分演绎及其证成,真理与悖论,意义与指称,存在、量化和本体论,休谟问题与归纳逻辑,共五个部分,对逻辑哲学进行了全面系统的概论,同时吸收了近几年国际逻辑哲学方面的最新进展,每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程,也曾经写作过逻辑学和逻辑哲学方面的著作,具有深厚的功底和丰富的经验。
品牌:北大出版社
上架时间:2017-06-01 00:00:00
出版社:北京大学出版社
本书数字版权由北大出版社提供,并由其授权上海阅文信息技术有限公司制作发行
数理逻辑最新章节
查看全部- 8 直觉主义完全性
- 7 紧致性定理与Löwenheim-Skolem定理
- 6 经典完全性
- 5 可满足性定理
- 4 Henkin定理
- 3 经典命题完全性
- 2 一 致 性
- 1 经典可靠性
- 第六章 可靠性与完全性
- 6 经典与直觉主义逻辑的关系
邢滔滔
主页
同类热门书
最新上架
- 会员
从零开始读懂微积分
本书通过一系列重要的数学地标,梳理了微积分理论,既包含课堂上没讲授的数学通识内容,又包含对一些复杂知识点的细致拆解,还包含微积分在现实生活中的应用,帮助读者开阔数学视野、提高数学思维、加深对数学的理解。全书共分为四篇:第一篇为读者构建数学学习的理念和方法;第二篇解释高等数学何以称为高等、大学数学内容与中学数学内容相比是否存在一个明确的分水岭等问题,为微积分的引入做好铺垫;第三篇借助“局部-整体原则自然11.5万字 - 会员
图像处理的分数阶微积分方法
分数阶微积分研究的是非整数阶的微分和积分,可实现的阶数灵活且自由度大,所以在图像处理领域的应用得到越来越多的关注。本书通过特定的分数阶微积分定义与图像处理领域的重要工具——傅里叶变换和分数阶傅里叶变换,建立分数阶微积分与图像处理的关系。全书共7章,分别是绪论、图像处理及分数阶微积分基础、分数阶微积分与信号处理的关系、基于分数阶变阶微分的图像去噪方法、图像复原的分数阶偏微分方法、图像分割的分数阶微积自然5.8万字 - 会员
美妙的数学(插图珍藏版)
本书以数学实例揭示数学潜在的规律,同时探索用美学原理指导数学创造和发现的途径。内容包括:数,科学的语言;形,数的伴侣;数与形,相得益彰;曲线,大自然的写真;抽象,数学的灵魂;无穷,艰难的旅程。自然14字 - 会员
数学之美
本书从几个著名数学问题出发,讲解了与我国初高中的教学实际紧密联系的数学知识,并把知识内容与数学核心素养结合起来,穿插介绍知识内容的历史发展过程,对相关数学分支在数学史上的地位进行深入思考,并辅之以数学文化、趣味知识、数学游戏、数学悖论等茂盛枝叶。自然7字 - 会员
钱敏数学文选
本书收录了《马尔可夫半群的不变测度与遍历性》《非自治系统的不变圈(解流形)分支》《MinimalCoupledDiffusionProcess》《GeneralizedWeylTransformation》等文章。自然0字 - 会员
简明实用速算法:高位分段累加算术(第2版)
本书以高位分段累加计算的方法,全面系统地介绍了实数加、减、乘、除、乘方、开方运算在普遍情况下的简化计算法则,实现了数的运算在通常情况下即能顺利通过心算速算来完成的目的。全书共分九章:第一章至第八章介绍了高位分段累加算术的思想方法,及其在实数加、减、乘、除、乘方、开方运算中的一般心算速算应用;第九章介绍了特殊条件下的心算速算方法,并运用高位分段累加算术解读了古印度吠陀数学乘法五式和除数是九的除法速算自然1.6万字 数学思维的力量
事实并非如此,作者通过亲身经历,揭示了数学的真正魅力,证明了每个人都能学好数学。作者通过本书挑战了我们对数学的传统认知,打破了束缚我们思维的枷锁。作者不仅分享了自己如何从一个数学“差生”成长为热爱数学的优等生的故事,还提供了一系列的学习方法和策略,帮助孩子建立起对数学的积极态度。她强调,数学不仅仅是一门学科,更是一种思维方式,一种解决问题的工具。全书共分为三个部分,第一部分揭示了阻碍孩子们学习数学自然10万字- 会员
几何原本
本书先后论述了平面几何的基本原理、圆、比例论、相似图形、初等数论、简单立体几何以及正多面体等内容。书中每卷在一开始会给出定义、公设和公理,然后用这些定义和公理及证明过的命题,对各种几何图形的性质进行研究,展示了一套逻辑体系严密的几何学论证方法。自然29.4万字 - 会员
几何之美
本书共28章,内容涉及:尺规作图——跨越两千年的探索、柏拉图多面体、几何错视与数学艺术、迷人的镶嵌、阿波罗尼奥斯定理、完美正方形、梅涅劳斯定理和塞瓦定理、翩翩起舞的蝴蝶定理等。自然0字