数理逻辑与范畴论应用PDF电子书下载
- 电子书积分:13 积分如何计算积分?
- 作 者:王世强,孟晓青著
- 出 版 社:北京:北京师范大学出版社
- 出版年份:1999
- ISBN:7303048553
- 页数:377 页
第1章 关子Baire定理等的真假 1
§1 几个等价的命题 2
§2 由命题1证命题2 3
§3 由命题2证命题3 3
§4 由命题3证命题4 7
§5 由命题4证命题1及总的结论 8
§6 其他类似结果举例 8
第2章 具有物理意义的分球定理 10
§1 对球面的一种划分 11
§2 闭球体的克隆定理 13
第3章 二次数环的Hilbert第10问题 17
§1 实二次数环的情况 19
§2 虚二次数环的情况 23
第4章 某些环的Goldbach性质 31
§1 某些无限域上多项式环的Goldbach3素元性质 31
§2 二次数环的具有Goldbach性质的扩环 36
§3 二次数环的不具有Goldbach性质的扩环 44
第5章 关于域上的无限方阵 49
§1 域上rcf方阵的逆方阵 50
§2 域上rcf方阵的对角化(上) 55
§3 域上rcf方阵的对角化(下) 63
§4 rcf方阵的极大无限线性无关行组 72
第6章 共形映射的1阶不变量 77
§1 CSCI1与ZFC的和谐性 78
§2 “非CSCI1”与ZFC的和谐性 89
第7章 代数封闭群与模型论 94
§1 群论?1公式的结式 95
§2 存在封闭群与群的字问题 102
§3 模型论力迫法 107
§4 各种存在封闭群的存在性 114
第8章 关于Mordell-Lang猜想 124
§1 Hrushovski定理简介 125
第9章 格值逻辑概述 131
§1 格值逻辑 131
§2 知识状态逻辑 133
§3 格值逻辑应用举例 139
第10章 格值谓词演算中的标准形 148
§1 前束标准形 150
§2 Skolem标准形 153
§3 Lowenheim定理 157
第11章 格值模型的紧致性定理 160
第12章 变量集合与graphs 172
第13章 变量集合的范畴topos,范畴化逻辑及其应用 196
§1 常量集合的范畴S与变量集合的范畴topos 196
§2 Topos与范畴化逻辑 201
§3 独立性的证明 208
§4 代数理论,几何理论,与分类topos 214
第重4章 凸集范畴,enriched范畴与度量空间范畴 222
§1 凸集范畴C与K-模范畴K-mod 222
§2 Enriched范畴与广义度量空间范畴 233
第15章 随机映射与统计决策论 244
§1 随机映射的范畴P(m),以及相关的性质 244
§2 P(m)(X,Y)上的凸集度量dist,dist诱导的拓扑的性质 249
§3 概率论中的某些代数结构 255
§4 统计决策论 259
§5 随机动力程序(序列决策论,控制的随机过程) 266
第16章 凸集度量dist的一些有趣的性质 272
第17章 Monad和计算语言 280
§1 Monad 281
§2 简单一般语言 289
§3 简单程序语言 293
第18章 综合微分几何 297
第19章 Sheaf理论与代数几何 309
§1 Sheaf理论 309
§2 Sheaf上同调 320
§3 Sheaf代数几何 324
第20章 数学基础与范畴论 333
§1 Mengen和Kardinalen(variable sets and abstract sets) 336
§2 空间的范畴 341
§3 空间和量 345
§4 Intensive和extensive quantities 352
第21章 Topos理论以及范畴论的哲学意义 361
§1 Topos理论和范畴论的唯物论意义 362
§2 变化与联系 366
§3 辩证法的形式化 369
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《第一性原理方法及应用》李青坤著 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《教师教育系列教材 心理学原理与应用 第2版 视频版》郑红,倪嘉波,刘亨荣编;陈冬梅责编 2020
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019