论文部分内容阅读
定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
基于间断区间的时态关系处理
【摘 要】
：
定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
【机 构】
：
广西师范大学数学与计算机科学系
【出 处】
：
广西师范大学学报：自然科学版
【发表日期】
：
1997年1期
【基金项目】
：
国家 8 6 3计划,,国家自然科学基金,,广西教委基金资助项目
其他文献
以分布式微机系统为核心 ,对色漆生产过程按工艺配方的要求 ,将所需原料按品名、数量进行自动投料和计量控制 ,并将计量数据送上位机进行处理 ,生成相关的统计报表 .
结合自制物理化学英文教案并应用于2001级应用化学专业双语教学的实施,阐述了双语教学关键是专业基础知识信息的传递,探讨了双语教学实施的方式及效果.
《第六届华东测绘学会综合学术讨论会》于五月十二日至十五日在福建省美丽的海滨城市厦门召开，来自华东地区六省一市测绘行业的一百多名代表参加了会议，参加交流的论文达八十多
我院是中国有色金属工业总公司浙江有色地勘局直属的专门从事测绘、制图、印刷业务，具有独立法人资格的事业单位，持有国家测绘局颁发的甲级测绘资格证书，是一个拥有测绘注册资金
《圆珠壶》整体融合紧密，壶身圆润，胎质格外细腻，处处衔接自然流畅，壶盖内嵌，壶盖与壶身严丝合缝，如一气呵成。嘴、把、钮圆润有佘、弧度流畅，更体现实用性。壶体乳脂似玉，曲线优雅，泥
本文通过对软土地基高层建筑群沉降观测的讨论，提出了深埋水准点的要求与设计，并通过复测水准网计算出浅埋水准点的沉降，从而对高层建筑物对地表沉降影响范围的确定也提出了初步
从创新教育的角度出发,介绍了近年来无机化学中有关氨的合成,金刚石合成以及超重元素合成的最新科研成果及发展历史,并探讨了这些新成果对创新思维的影响.