论文部分内容阅读
从结构上清楚地描述了极大和谐理论的构造，证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包；在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑，证明了所得拓扑空间与Cantor三分集同胚，作为应用，给出了命题逻辑系统完备性的一个简单证明。
命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集
【摘 要】
：
从结构上清楚地描述了极大和谐理论的构造，证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包；在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑，证
【机 构】
：
陕西师范大学数学与信息科学学院,西安财经学院信息与教育技术中心,西安高技术研究所
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金重点资助项目（10331010）
其他文献
对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这
目的 研究丹酚酸A(SAA)对大鼠脑缺血再灌注损伤的保护机制.方法 SD大鼠随机分组,线栓法制备大鼠大脑中动脉闭塞/再灌注(MCAO/R)模型,缺血1.5h,再灌注24h,对神经行为学缺损程度进行评分,TTC法测定大鼠脑梗死体积,Western蛋白印迹法法测定脑组织胞核、胞浆Nrf2和全细胞HO-1蛋白含量.结果 大鼠MCAO手术1.5 h,再灌注24 h可造成明显的神经功能障碍,多数动物出现追尾
通常傅立叶变换有两种定义,这样与之相关的一些结论也有不同的形式.但是一些专著却往往忽视这个问题,在同一本书中将不同的结论混用,这给初学者及工程应用带来许多不便.对照
应用线性变换的性质,给出了一种常系数线性差分方程的线性变换解法。
数控机床是利用数字信号通过编程将加工过程中的各种操作指令传给机床的伺服系统或其他执行元件，以完成不同工件或同一工件不同工序的加工内容。由于数控机床在生产错综复杂工
目的探讨还脑益聪方（HYD）提取物改善学习记忆能力的作用机制。方法 3月龄淀粉样前体蛋白（APP）/早老蛋白1（PS1）双转基因小鼠,随机分为模型对照、盐酸多奈哌齐0.65 mg·kg^-1、HY
我们使用国产二维制图软件CAXA和目前机械设计较强劲的三维设计软件SolidWorks时，不妨可以尝试结合二者一起使用，也许会给我们带来意外的收获。
中国的传统艺术家历来重诗、书、画、印的结合,并在这些艺术实践中求得通变,在中国美术史上能兼通诸艺而又能取得如此造诣的人却是不多的。来楚生先生就是这样一位有通才的艺
给出了模糊图灵机的几种等价形式,包括具有分明转移函数的模糊图灵机（FNTMc）、模糊图灵机（FNTM）以及模糊多带图灵机.利用模糊图灵机,定义了模糊递归枚举语言与模糊递归语言,并给