基础数学的元数学PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:Erwin Engeler著;宋方敏译
- 出 版 社:南京:南京大学出版社
- 出版年份:1995
- ISBN:7305028274
- 页数:108 页
图书介绍:
上一篇:高等数学下一篇:晶体X射线衍射角与靣网间距换算表
《基础数学的元数学》目录
第一章 连续统 1
第一节 什么是实数 1
第二节 语言作为数学的部分 6
第三节 实数的基本理论 15
第四节 非标准分析 29
第五节 选择公理与连续统假设 40
第二章 几何学 46
第一节 空间与数学 46
第二节 借助于坐标系的公理化 48
第三节 元理论问题和初等几何的方法 59
第四节 几何作图 70
第三章 算法 80
第一节 什么是算法 80
第二节 组合代数的存在性:组合逻辑 85
第三节 具体的组合代数 92
第四节 λ演算 97
第五节 可计算性与组合子 102
相关图书
- 《市政工程基础》杨岚编著 2009
- 《零基础学会素描》王金著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《花时间 我的第一堂花艺课 插花基础技法篇》(日)花时间编辑部编;陈洁责编;冯莹莹译 2020
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《Photoshop CC 2018基础教程》温培利,付华编著 2019
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
作者其它书籍
出版社其它书籍