波斯特封闭类与离散谓词系统 Post Closed Classes and Discrete Predicative Systems-作者：窦如静,-《计算机工程COMPUTER ENGINEERING》-2001

iLib2 新一代的学术数据库

首页 | 账户 | 充值 | 收藏

找不到？搜一下！

首页 > 万方期刊分类 > 工业技术 > 自动化技术与计算机技术 > 期刊 : 计算机工程波斯特封闭类与离散谓词系统

添加收藏

波斯特封闭类与离散谓词系统

Post Closed Classes and Discrete Predicative Systems

查阅全文需要付费。

<<计算机工程>>2001年第27卷第09期
作者: 窦如静,

期刊-核心期刊 ISSN : 1000-3428(2001)09-0021-03

概述波斯特封闭类与离散谓词系统的研究成果,提出这类研究中的新问题和应用前景.

关键词: 代数系统, 完备性, 封闭类, | 全部关键词

万方期刊分类:TP

> 工业技术 > 自动化技术与计算机技术

相似文献：

- 波斯特封闭类与离散谓词系统 Post Closed Classes and Discrete Predicative Systems 作者:窦如静, 期刊-核心期刊 计算机工程COMPUTER ENGINEERING 2001年第09期

- 非线性刚性微分-代数系统的波形松弛离散法 Waveform relaxation methods for stiff nonlinear differential-algebraic systems 作者:孙卫,李立,邹建华, 期刊-核心期刊 高校应用数学学报A辑APPLIED MATHEMATICS A JOURNAL OF CHINESE UNIVERSITIES 2006年第04期

- 布尔离散事件系统的监控理论作者:卢建宁, 赵光宙, 会议第二十四届中国控制会议第二十四届中国控制会议论文集 2005年

- PrO-C*-代数的顺从性和核性 Amenability and Nuclearity for Pro-C*-Algebras 作者:许天周,李炳照,赵雨耿, 期刊-核心期刊 数学进展ADVANCES IN MATHEMATICS 2003年第03期

- R0代数公理系统的简化与独立性 Simplified axiom systems of R0 algebras and independence 作者:裴道武, 期刊-核心期刊 陕西师范大学学报(自然科学版)JOURNAL OF SHANXI NORMAL UNIVERSITY 2002年第03期

- 复杂系统与辩证逻辑 Complicated Systems and Dialectical Logic 作者:赵总宽, 期刊系统辩证学学报JOURNAL OF SYSTEMIC DIALECTICS 2004年第01期

- m+1阶波斯特代数公理化的讨论 The discussion of postile's algebra of (m+1)th-order 作者:黄廷章, 期刊潍坊学院学报JOURNAL OF WEIFANG UNIVERSITY 2002年第02期

- 关于部分K值逻辑Sheffer函数判定的一些结果(II) Some Results on Sheffer Functions in Partial K-Valued Logic (II) 作者:肖凡,刘任任, 期刊-核心期刊 湘潭大学自然科学学报NATURAL SCIENCE JOURNAL OF XIANGTAN UNIVERSITY 2002年第02期

- 一类格值-类Horn子旬逻辑作者:刘军, 宋振明, 马骏, 会议第八届全国多值逻辑与模糊逻辑学术会议第八届全国多值逻辑与模糊逻辑学术会议论文集 1998年

- 完备代数正规类的根与右理想 Radicals in Normal Classes of Complete Algebras and Right Ideals 作者:杨宗文,杨柱元, 期刊-核心期刊 昆明理工大学学报（理工版）JOURNAL OF KUNMING UNIVERSITY OF SCIENCE AND TECHNOLOGY（SCIENCE AND TECHNOLOGY） 2006年第03期

- 中介谓词逻辑系统的λ-归结 λ-Resolution of the Medium Predicate Logic System 作者:潘正华, 期刊-核心期刊 软件学报JOURNAL OF SOFTWARE 2003年第03期

- 离散区间系统的H∞鲁棒控制 H∞ Robust Control for Discrete Interval Systems 作者:吴方向,史忠科, 期刊-核心期刊 控制与决策CONTROL AND DECISION 2000年第04期

- 关于BR0-代数弱完备性的证明 On the weak completeness of BR0 -algebra 作者:邵晓丽,吴洪博, 期刊-核心期刊 西北大学学报（自然科学版）JOURNAL OF NORTHWEST UNIVERSITY(NATURAL SCIENCE EDITION) 2007年第03期

- 区间离散Lurie系统的绝对稳定性 Robust absolute stability of interval discrete-time Lurie systems 作者:孙继涛,张银萍, 期刊-核心期刊 控制理论与应用CONTROL THEORY & APPLICATIONS 2002年第04期

- 子环的和与积 The sum and product of subrings 作者:杨宗文,杨柱元, 期刊-核心期刊 云南大学学报（自然科学版）JOURNAL OF YUNNAN UNIVERSITY(NATURAL SCIENCES EDITION) 2007年第04期

- 大半环子半环的和与积 Sum and Product of Subsemi - Rings of Big Semi - Ring 作者:杨宗文,杨柱元,李友宝, 期刊-核心期刊 昆明理工大学学报(理工版)JOURNAL OF KUNMING UNIVERSITY OF SCIENCE AND TECHNOLOGY(SCIENCE AND TECHNOLOGY) 2007年第06期

- 伪BR0代数及其性质 Pseudo BR0-algebras and Their Properties 作者:张秋霞,吴洪博, 期刊-核心期刊 云南师范大学学报（自然科学版）JOURNAL OF YUNAN NORMAL UNIVERSITY(NATURAL SCIENCES EDITION) 2008年第02期

- Verilog代数语义研究 Study on the Algebraic Semantics of Verilog 作者:李勇坚,何积丰,孙永强, 期刊-核心期刊 软件学报JOURNAL OF SOFTWARE 2003年第03期

- 基于量子逻辑的下推自动机的代数刻画 Algebraic Characterization of Pushdown Automata Based on Quantum Logic 作者:韩召伟,李永明, 期刊-核心期刊 计算机工程与科学COMPUTER ENGINEERING AND SCIENCE 2008年第11期

- 理想状态下泛逻辑的形式演绎系统B的完备性 The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition 作者:罗敏霞,何华灿, 期刊-核心期刊 计算机科学COMPUTER SCIENCE 2005年第06期

更多相似文献...

版权所有北京万方数据股份有限公司京ICP证010071号

关于我们 | 资源推介 | 知识产权声明 | 客户服务 | 万方数据