搜索筛选:
搜索耗时2.6120秒,为你在为你在102,285,761篇论文里面共找到 67 篇相符的论文内容
发布年度:
[期刊论文] 作者：曹发生,
来源：烟台大学学报:自然科学与工程版 年份：2020
信息系统的粗糙集理论是处理知识表示的一种有效方法.开放类的一个重要特性是其成员可能会增加,部分映射和非满映射为开放世界信息系统的信息表提供了工具.结合开放类和粗糙...
[学位论文] 作者：曹发生,,
来源：成都理工大学 年份：2016
黑牛洞铜矿床是四川省甘孜州九龙县里伍铜矿田的典型矿床之一,前人对黑牛洞矿床有一定的研究,但限于交通以及矿企相对注重生产导致矿床基础理论研究仍相对较低,一些关键的地...
[期刊论文] 作者：曹发生,
来源：贵州工程应用技术学院学报 年份：2020
通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同。先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明。再用第二...
[期刊论文] 作者：曹发生,
来源：四川师范大学学报：自然科学版 年份：2012
基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出...
[期刊论文] 作者：曹发生,
来源：逻辑学研究 年份：2015
通过引入信息等价和信息范式这两个主要概念,给出了信息系统更新的自动机。用自动机理论给出信息系统更新的模型的刻画,证明了星动作算子在信息系统的动态更新的逻辑系统的引...
[期刊论文] 作者：曹发生,
来源：毕节学院学报：综合版 年份：2010
给出了方程、真值表与状态转换图在逻辑推理中的应用。...
[期刊论文] 作者：曹发生,
来源：数学的实践与认识 年份：2004
研究了有限交换群和Hamilton群的主同余,利用同余的定义并构造它们的主同余公式,给出了它们的主同余刻画....
[学位论文] 作者：曹发生,
来源：广西师范大学 年份：2007
有穷基问题是泛代数中的核心问题，本文第一章中介绍了有穷基的发展。在第二章中先介绍了DPC 与DPSC 的定义,然后对某些代数类来考虑它们的DPC 性质。并得出了如下几个命题：...
[期刊论文] 作者：曹发生,
来源：贵州工程应用技术学院学报 年份：2020
通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同.先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明.再用第二数...
[学位论文] 作者：曹发生,
来源：成都理工大学 年份：2021
...
[期刊论文] 作者：张家锋,曹发生,
来源：计算机工程与应用 年份：2015
由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵...
[期刊论文] 作者：余泉,曹发生,
来源：黔南民族师范学院学报 年份：2009
讨论了格的理想，得到了一些主理想和素理想的几个结论．...
[期刊论文] 作者：张家锋,曹发生,,
来源：四川理工学院学报(自然科学版) 年份：2015
讨论格值一阶逻辑系统LF（X）中α-语义归结方法和有序归结方法的相容性。给出了LF（X）中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF（X）中α-有序语义归结演绎的有效......
[期刊论文] 作者：曹发生,余泉,
来源：毕节学院学报：综合版 年份：2009
归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用，在这些应用中归纳法中的基始部分和归纳部分被着重注明。...
[期刊论文] 作者：曹发生,余泉,
来源：毕节学院学报：综合版 年份：2009
LINGO是一套专门用于求解最优化问题的软件，利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。...
[期刊论文] 作者：杨楠,曹发生,
来源：毕节学院学报：综合版 年份：2011
在有限自动机矩阵模型表示方法的基础上，采用矩阵理论和布尔代数为工具，给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。...
[期刊论文] 作者：曹发生,杨楠,
来源：黔南民族师范学院学报 年份：2010
等价关系是离散数学的一个重点知识,具有自反性、对称性与传递性的关系是等价关系的定义。由经典教材的一个习题出发,引入持续性和欧几里得性的定义,得到关系的上述性质之间...
[期刊论文] 作者：曹发生,张维,
来源：计算机工程与应用 年份：2010
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,......
[期刊论文] 作者：张家锋,曹发生,
来源：毕节学院学报：综合版 年份：2009
粗糙集理论是一种新的处理模糊和不确定知识的数学工具，借助近似代数上的原子及同余关系，在证明了在适当选取加运算、乘运算和余运算之后，粗糙集代数就成为MV-代数。...
[期刊论文] 作者：曹发生,张家锋,
来源：毕节学院学报：综合版 年份：2008
根据R0-代数中对偶核定义，可讨论它的相关性质，此对偶核是同态原象的一个滤子。...
相关搜索：
