论文部分内容阅读
本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统．并对该系统进行研究。
计算机数理逻辑系统的探究
【摘 要】
：
本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统．并对该系统进行研究。
【机 构】
：
内蒙古包头轻工职业技术学院
【出 处】
：
都市家教：下半月
【发表日期】
：
2013年10期
其他文献
分析了基于判决理论的判决树自动识别算法成功率低、自动识别过程耗费时间长和判决门限多等缺点,提出了改进的平行判决算法.通过MATLAB计算机仿真,验证了这种算法的可行性.统
小学生随着年龄的增加，生活经验的不断丰富，在学校教学的影响下，想象能力不断得到发展，他们想象奇特、美丽、多姿多彩。为了满足他们的好奇心，求知欲，教师要善于引导学生开展想象，发
职高的学生成绩普遍不好。他们在学习、思想、行为习惯等方面存在较大的缺陷，职业高中与普通高中在数学课教学中有很大的区别。数学课在普通高中作为一门主科，学生基础较好，学习
通过对ZS1756振动筛的现场测试，利用7T08S信号处理机对振动和信号进行了频谱分析和相干分析，确定了振动筛的主噪声源为电机轴承处，筛底，侧板振动时辐射噪声，据此，提出了降噪措施，通
根据区域煤炭市场供需的动态关系，用控制理论建立了区域煤炭价格的控制过程模型，并通过实例探讨了煤炭价格的控制策略。
思想政治课是培养学生政治素养与品德修养的重要课程。在我国成功试点的“学习共同体”的基础上，结合思想政治课的教学特色，通过师生角色的重新定位，教学方式与教学制度的创新，以
《捕蛇者说》意即说说捕蛇者的事，这是柳宗元的一篇散文佳作，它之所以是“说”体文中的一枝独秀，历来被人们所推崇，因为它能把抽象的政治见解融人生动形象的叙事之中，在艺术上有独
地方检察动态栏目是地方各级检察院交流工作经验、展示工作业绩的平台,通过一句话新闻的方式展示各院的新举措、新动态、新业绩,凸显各级检察院的特色、创新。也通过在这个平
通过三层结构和二层结构的比较，展现了三层结构的优势和发展前途，进而应用COM+MTS+VB模式开发出基于三层体系统结构和校园网的高校教务管理系统。