TOPOS

作品数：39被引量：33H指数：4
导出分析报告
相关领域：理学建筑科学更多>>
相关作者：袁学海王习娟卢涛贺伟赵宝江更多>>
相关机构：辽宁师范大学南京师范大学南京大学淮北师范大学更多>>
相关期刊：《数学译林》《中国信用卡》《数学的实践与认识》《辽宁师范大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金安徽省高校省级自然科学研究项目辽宁省教育厅高等学校科学研究项目陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊范畴fuz中的选择公理被引量：2
《模糊系统与数学》2019年第4期21-27,共7页王潇扬 王宝山 王拥军 周恒 
国家自然科学基金资助项目(11371044)
Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和W...
关键词：范畴论 TOPOS 模糊集 选择公理 
晶体几何系列之四 只有五种柏拉图多面体的证明
《物理》2019年第5期328-330,共3页曹则贤 
一般的数学教育内容都会包含简单的欧几里得几何学。那里面的几何形状,大体上都是一些多边形,且是区分形状和大小的。随着人们对几何认识的深入,还发展出了更高深的学问,拓扑学。拓扑学,topology,关切几何体的拓扑性质,与大小、形状无...
关键词：欧几里得几何学 多面体 柏拉图 证明 晶体 几何形状 TOPOS 教育内容 
Topos中内蕴偏序对象与内蕴格对象之间关系的研究被引量：5
《数学的实践与认识》2018年第19期228-234,共7页苏小霞 汤建钢 张凯强 张冬冬 周欢欢 
新疆维吾自治区“十三五”重点学科(数学)开放课题(XJZDXK-M2017006)
在Topos中给出了内蕴格对象相关性质的证明，并证得由一个内蕴格对象可以诱导一个内蕴偏序对象．
关键词：内蕴格对象 内蕴偏序对象 诱导 
Topos中的交连续偏序对象
《模糊系统与数学》2017年第3期144-152,共9页王娣 卢涛 王习娟 
国家自然科学基金资助项目(11571175);安徽省高校自然科学研究重点项目(KJ2015A064)
基于topos中的偏序对象,在topos中引入了类似于经典格论中的交连续偏序对象的定义,给出了交连续偏序对象的等价刻画,将一些格论中熟知的结论提升到topos中。
关键词：偏序对象 完备偏序对象 交连续偏序对象 
Topos中偏序对象的上(下)确界
《山东大学学报（理学版）》2016年第4期112-117,共6页卢涛 王习娟 贺伟 
国家自然科学基金资助项目(11571175);安徽省高校自然科学研究重点项目(KJ2015A064)
基于topos中的偏序对象,讨论了topos中的上下确界的定义,推广了格论中的经典结论,将一些格论中熟知的结论提升到了topos中。得到了主要结果:topos中的对象为完备偏序对象当且仅当该对象的任意广义子集存在上(下)确界。
关键词：TOPOS 偏序对象 完备偏序对象 上(下)确界 
Topos中完备偏序对象上的算子理论被引量：2
《山东大学学报（理学版）》2016年第2期64-71,共8页卢涛 王习娟 贺伟 
国家自然科学基金资助项目(11171156);安徽省高校自然科学研究重点项目(KJ2015A064)
研究了完备偏序对象间的投射算子,给出了闭包算子和核算子的等价刻画,将一些格论中的经典结论推广到了topos中。
关键词：偏序对象 完备偏序对象 投射算子 核算子 闭包算子 
Topos中的有限对象
《模糊系统与数学》2016年第1期120-128,共9页卢涛 王习娟 
国家自然科学基金资助项目(11571175);安徽省高校自然科学研究重点项目(KJ2015A064)
引入了topos中有限子集的概念,研究了K-(J-)有限子集和K-(J-)有限子对象之间的关系,证明了K-(J-)有限子集和K-(J-)有限对象的等价性,将一些格论中的经典结论推广到了topos中。
关键词：偏序对象 有限对象 有限子集 TOPOS 
Topos中选择公理的一个等价刻画被引量：3
《山东大学学报（理学版）》2015年第12期54-57,64,共5页卢涛 王习娟 贺伟 
国家自然科学基金资助项目(11171156);安徽省高校自然科学研究重点项目(KJ2015A064)
基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。
关键词：TOPOS 偏序对象 完备格对象 选择公理 
银联国际在巴基斯坦推创新产品
《中国信用卡》2015年第7期93-93,共1页
（本刊讯）6月3日，银联国际宣布与巴基斯坦第二大收单机构MCB银行及技术提供商Monet达成合作，将在巴基斯坦首次推出toPOS收单服务，为巴基斯坦本地居民及赴巴商旅人士提供更广泛的银联卡使用场景，同时也通过创新产品优化“一带一路...
关键词：巴基斯坦 创新产品 银行 国际 MONET TOPOS 产品优化 提供商 
竞赛与奖项
《中国园林》2014年第6期126-127,共2页
罗莎·芭芭欧洲景观奖提交日期推迟 第8届罗莎·芭芭欧洲景观奖名单将于2014年9月25—27日在巴塞罗那景观双年展上公布,凡在2009—2014年设计的景观和规划类项目都可以递交奖项申请。一等奖将获得1万5千欧元的奖金。获胜者和入围项目...
关键词：竞赛 TOPOS 巴塞罗那 景观 欧洲 评审 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部