关于BCI—代数一类自同态的象集     

罗敏霞 《雁北师范学院学报》1995,(6)

本文讨论了BCI—代数的一类自同态f_n:X→O*X~n的象集Imf_n作成理想的充要条件.  相似文献   

关于具有条件（S）的BCK—代数的剩余半群     

罗敏霞 《运城高专学报》2000,18(3):1-3

本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系。  相似文献   

关于蕴涵BCK—代数     

罗敏霞 《运城学院学报》1999,(6)

本文讨论了蕴涵BCK—代数的剩余刻划．进一步证明了蕴涵BCK—代数的伴随半群是一个上半格。  相似文献   

关于M—BCI—代数的结构     

罗敏霞 《运城学院学报》1994,(4)

本文讨论了M—BCI—代数的等价刻划,最后给出了它的结构,拟结合BCI—代数。  相似文献   

数据挖掘与知识发现的技术方法及应用(上)   总被引：8，自引：0，他引：8  

罗敏霞 《运城学院学报》2005,23(2):1-5

数据挖掘是一项崭新的技术，文章介绍数据挖掘的概念及其产生的背景；数据挖掘的基本方法，并且概述了几种常用的数据挖掘方法，即分类和聚类分析。  相似文献   

含逆断面半群的等价刻划   总被引：1，自引：0，他引：1  

罗敏霞 《运城学院学报》2006,24(2):1-3

本文引入一种格林关系，0-格林关系，采用Lawson提出的研究正则半群的新的研究方法一整体逆扩张（enlargement），对含逆断面半群进行研究，给出了含逆断面半群的等价刻划，证明了S^0是S的一个逆断面当且仅当P={e∈S；（Зe’∈V（e）∩S^0）ee’=e}中每个元素的R^0-类只含一个幂等元，Q={f∈S；（Зf＇∈V（f）∩S^0）ff=f}中每个元素的L^0-类只含一个幂等元．  相似文献   

关于+-富足半群     

罗敏霞 《运城学院学报》2002,20(5):1-3

文章引入另一种新的等价关系，称为＋－格林关系，进一步给出（左、右）＋－理想的概念。讨论了＋－格林关系，（左、右）＋－理想的一系列性质。利用＋－格林关系这个工具，我们研究了一类半群，如果半群S的每个元素的L^ －类和R^ －类均含有S的子半群S^0的一个幂等元，。则S称为＋－富足半群。给出它的一个等价刻划。最后，还讨论了一类特殊的＋－富足半群，称为C＋－富足半群。给出它的一个等价刻划。  相似文献   

可计算理论的研究内容及应用     

罗敏霞 《运城学院学报》2003,21(5):5-7

可计算理论建立于二十世纪三十年代。可计算理论的研究对象有三个：(1)判定问题；(2)可计算函数。(3)计算复杂性。判定问题主要是判定方程是否有解；可计算函数主要讨论一个函数是否可计算，建立了原始递归函数、图灵机等许多数学模型判定一个函数是否属于可计算函数：计算复杂性主要讨论的问题是P=? NP。可计算理论的计算模型主要包括：(1)Turing机；(2)递归函数；(3)λ演算；(4)POST系统；(5)正则算法。可计算理论是理论计算机科学，属于计算机科学的基础研究领域，可计算理论是计算机软件工程、系统结构、并行运算、图像处理、人工智能、网络的数学理论基础和工具。  相似文献   

半群的模糊左理想     

王宇光  罗敏霞 《宁波教育学院学报》2010,12(3):80-82,87

引入半群S模糊左理想集的概念,讨论了它的一系列性质,证明了半群S的左理想的全体及模糊左理想集全体均做成一个格,并且同构.  相似文献   

关于具有条件(S)的BCK-代数的剩余半群     

罗敏霞 《运城学院学报》2000,18(3):1-3

本文证明了具有条件(S)的BCK-代数的伴随半群是一个可换蕴涵半群;同时讨论了具有条件(S)的BCK-代数的理想与它的伴随半群的序滤子之间的关系.  相似文献