W^-的正则子R0-代数及其应用

来源 :陕西师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：xdool

【摘要】

：

引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可以用(W-)的任一正则R0-代数去替代W作判断,

【作者】

：

王龙春王国俊

【机构】

：

陕西师范大学数学与信息科学学院

【出处】

：

陕西师范大学学报：自然科学版

【发表日期】

：

2004年2期

【关键词】

：

正则子R0-代数正则R0-代数 a-重言式广义重言式同构映射 revised Kleene logic system regular R_0-algeb

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可以用(W-)的任一正则R0-代数去替代W作判断,特别是可以用具有简单结构的正则子R0-代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.

其他文献

一种应用于图着色问题的新型混合遗传算法

将遗传算法与模拟退火方法和禁忌搜索方法结合,提出了应用于图着色的混合遗传算法.在混合方法中,模拟退火算法用于局部寻优,提高算法的收敛速度,同时防止早熟收敛;禁忌搜索算

期刊

遗传算法自适应混合遗传算法自适应模拟退火算子禁忌算子genetic algorithm GA-ASATS adaptive SA operator

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由

期刊

完备格自由Dct30自由并完备格代数偏序集强代数偏序集complete lattice free Dcpo free join-complete

浅析新时期党的科学理论建设

纵观党的科学理论建设的历程，高山仰止，景行行止。在成就中总结经验，从经验中取得成就。要把党的科学理论建设贯穿于党的建设新的伟大工程的各个方面，要坚持用邓小平理论、“三个

期刊

科学理论建设执政能力建设

研究生培养引进竞争机制的探索

该文依据多年研究生管理与服务的实践，分析研究生培养过程各个阶段中存在的各种问题，按照市场机制的思维方式——引入竞争机制探讨其解决办法。

期刊

竞争机制研究生培养实践探索

谈遵义会议所解决的政治路线问题

1935年1月，我们党在遵义召开了中央政治局扩大会议，即党和红军处于最危急关头召开的具有重大转折意义的遵义会议。党史、革命史著述都认为这次会议纠正了“左”倾错误路线，确立

期刊

遵义会议政治路线“左”倾错误中央政治局领导地位组织路线军事路线革命史

关于M-矩阵的最小特征值

讨论了不可约M-矩阵的最小特征值问题，得出若A，B∈R^n×n是不可约M-矩阵，则存在正对角矩阵D1=diag(d1,…，dn)与D2=diag(d1，…，dn)，使得D1A^-1D2是双随机矩阵且l(A·B^-1)>mi

期刊

M-矩阵最小特征值双随机矩阵HADAMARD积M-matrix minimal eigenvalue doubly stochastic matri

两种酶水解明胶的条件筛选及评价

对中性蛋白酶和胰蛋白酶样品进行了以明胶为底物的酶解反应试验,并对两种酶的水解能力进行了比较,确定了两种酶的反应温度、pH值、底物浓度、加酶量以及酶解时间等条件.

期刊

中性蛋白酶胰蛋白酶明胶水解条件neutral proteasetrysin gelatin hydrolyzing conditions

“两型社会”旅游人才培养及素质提升研究

“两型社会”是指资源节约型、环境友好型社会。在构建“两型社会”的大背号下，对旅游人才提出了更高的要求。本文在分析“两型社会”背景下旅游人才培养的重要性和紧迫性后明

期刊

两型社会旅游人才人才培养素质提升

论党员特色培养和硬制度建设——以防灾科技学院为例

高校党员培养工作事关党的命运和国家社稷，入党动机和责任落实是培养工作的两极也是重心。特色培养可将防灾文化融入党员发展教育，使“崇德博智、扶危定倾”成为防灾党员品性，硬

期刊

特色培养硬制度

加强教师课堂管理提高大学英语教学效果

随着全球化的快速进展，英语日益担当起世界通用语言的大任。大学英语教学也由此备受关注。在诸多影响大学英语教学效果的因素中，教师对课堂的有效管理占据着一个重要的位置。本

期刊

课堂管理大学英语教学效果

W^-的正则子R0-代数及其应用

与本文相关的学术论文