论文部分内容阅读
本文在文献[1]基础上给出了连续泛布尔代数公理系统,证明了布尔代数和泛布尔代数系统都是连续泛布尔代数系统的“离散化”。
连续泛布尔代数公理体系
【摘 要】
：
本文在文献[1]基础上给出了连续泛布尔代数公理系统,证明了布尔代数和泛布尔代数系统都是连续泛布尔代数系统的“离散化”。
【机 构】
：
太原重型机械学院压力加工系
【出 处】
：
太原重型机械学院学报
【发表日期】
：
1993年1期
其他文献
本文对触发器的概念和功能作了详细的介绍，并针对ＯＲＡＣＬＥ数据库，举例说明如何在信息管理系统中应用触发器。
新闻记者与客体之间进行的询问、倾听、观察、记录、思索等获取新闻内容的活动称之为新闻采访。新闻传播的起点是新闻采访。本文结合笔者工作经验,分析了采访过程中记者与采
作者使用ＩＰ２４１智能模板开发了一个钢板打印控制系统，该系统成功地应用于带钢横切线上，本文介绍ＩＰ２４１智能模板的主要功能和软硬件的设计方法 。
本文分析了普通高校科研工作中存在的一些问题,在此基础上,针对普通高校科研工作中普遍存在着体制落后,成果转化率偏低,学术失范情况突出、科研行政化严重等诸多问题,提出必
摘 要：高校学生公寓是大学生学习和生活的重要场所，更是文化校园建设所要依靠的重要阵地。文化校园建设与高校学生公寓党建工作存在着重要的联系，二者相辅相成，阐述了文化校园背景下高校学生公寓开展党建工作的意义，对在文化校园视域下开展高校学生公寓党建工作的途径进行了分析：一是提高对高校学生公寓党建工作的重视；二是强化学生公寓党建工作组织体系建设；依托公寓党组织，积极开展形式多样的学生公寓文化活动。 关键
随着人工智能技术的出现和发展,机器人主播已经成为渗透节目主持专业领域的大雅大厅。本文分析了人工智能时代机器人主播的形态,描述了新闻从业人员的工作方式和职业发展的新
“十三五”是我国财政监督发展的关键时期。《中共中央关于制定国民经济和社会发展第十三个五年规划的建议》出台，为“十三五”时期财政监督规划指明了方向。结合财政监督实践
融媒体,顾名思义便是“媒体的融合”,它并不是一种确定的传媒载体,而是既包括了广播、纸媒等多种传统的媒体,又整合了人力、宣传等相关资源。随着计算机技术的发展,互联网行
战国时期,农民往往会因战乱、灾荒、苛政等原因而辗转他乡,成为流民。《商君书·徕民篇》应为秦昭襄王时商鞅后学所作,该篇作者根据秦与韩、魏的国情对比,提出一种优待移