主滤子

作品数：6被引量：2H指数：1
导出分析报告
相关领域：理学更多>>
相关作者：邹庭荣戴向梅冯晶晶徐罗山樊亚云更多>>
相关机构：西安培华学院绵阳师范高等专科学校扬州大学南京经济学院更多>>
相关期刊：《经营管理者》《南京大学学报（自然科学版）》《东北师大学报（自然科学版）》《绵阳师范学院学报》更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
滤子与滤子图
《东北师大学报（自然科学版）》2016年第2期11-13,共3页史艳维 姚杰 
陕西省自然科学基金资助项目(2007A12);陕西省教育厅科学研究项目(15JK2093);西安培华学院校级科研课题(PHKT20150734)
讨论了有限集合上滤子与滤子图的性质.证明了有限集合上的滤子都是主滤子,并得到其基数的计算公式;通过给出滤子的后继定义了滤子图,讨论了滤子图的性质,进而绘制出了滤子图.
关键词：滤子 主滤子 后继 滤子图 
非标准模型中滤子的性质被引量：1
《经营管理者》2015年第9期379-,共1页冯晶晶 樊亚云 
西安培华学院科研资助项目(PHKT20140750)
滤子是非标准模型构造的重要影响因素。本文对滤子进行研究,通过介绍滤子和常见几种滤子的定义,给出了常见几种滤子的实例,在此基础上,给出了滤子的一些性质和常见滤子的关系。
关键词：滤子 超滤子 主滤子 滤子性质 
交连续dcpo的遗传性和不变性被引量：1
《模糊系统与数学》2010年第3期76-81,共6页戴向梅 徐罗山 
国家自然科学基金资助项目(10371106;60774073)
讨论了交连续dcpo的遗传性和不变性,证明了如下结论:(1)交连续dcpo对于开子空间和闭子空间都是可遗传的;(2)交连续dcpo在加最大元和去最小元运算下保持交连续性;(3)交连续dcpo的收缩核为交连续dcpo。另外,给出了交连续的主理想刻画的一...
关键词：交连续dcpo SCOTT拓扑 主理想 主滤子 子空间 
关于语言族强替换性的一个命题
《南京大学学报（自然科学版）》2003年第4期499-504,共6页王水汀 
一个语言族能被有限分支自动机识别等价于它是自相容的且是有限可微的,而自相容的语言族又等价于它是闭的且具有替换性。自从语言族的微商运算的逆运算积分被引入到语言族的研究中以后,语言族的替换性利用语言族的积分被推广到强替换性...
关键词：语言识别 语言族 强替换性 有限可微性 替换性 自相容性 逆运算积分 主滤子 
关联BCK-代数的主滤子与关联滤子(英文)
《绵阳师范学院学报》2001年第2期1-6,共6页邹庭荣 
给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。Ⅱ )给出了主滤子与关联滤子的关系 ,即 :如果 (X ,· ,1 )是一个关联BCK -代数 ,则对每一个a∈X ,主滤子 [a]是...
关键词：BCK代数 主滤子 关联滤子 格 
关于BCK-代数的一个应用问题
《绵阳师范学院学报》1998年第S2期8-12,17,共6页邹庭荣 
通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。
关键词：BCK-代数 主滤子 立体格 同构 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部