更新时间:-- | 阅读量: 65
研究生用数理逻辑教科书。约·荀菲尔德(Joseph R.Shoenfield)著。...第5章模型论,介绍模型论的基础内容,主要内容有紧致性定理、同构和子结构、模型的基数(LST定理)、共协调性、完全理论以及范畴性等。第6章不完全性和不可 ...
搜索到与“ 基数定理”相关的文献共 2条
在建设海洋基础地理数据库时,数据编制常用墨卡托投影,其投影参数对数据质量有较大影响。为使要素的密度均匀,数据的误差可控,同时适应海图产品生产实际,以纬度小于75°为研究区域,分析墨卡托投影的长度变形及...
《海洋测绘》 2017年04期 关键词: "海图制图"," 墨卡托投影"," 基准纬线"," 长度变形"," 数据库" 收藏
针对采用遥测数据包包校验技术判别遥测定位数据有效性时,产生的过度滤除有效定位数据以及无效数据滤除不干净的问题,提出了一种基于DS证据理论的遥测定位数据有效性实时判别方法。利用遥测数据中的定位数据的位置...
《探测与控制学报》 2020年01期 关键词: "兵器靶场"," DS证据理论"," 遥测数据处理"," 有效性判别" 收藏
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved