论文部分内容阅读
针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统，并对该系统进行研究，主要研究计算机数理逻辑中命题演算部分，重点以5个命题变项如何通过一些逻辑联结词构成复合命题，以一个具体事例来比较，证明该系统的优越性，对计算机辅助教学起到了一定的作用。
计算机数理逻辑命题演算演示系统的研究
【摘 要】
：
针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统，并对该系统进行研究，主要研究计算机数理逻辑中命题演算部分，重点以5
【机 构】
：
呼伦贝尔学院
【出 处】
：
信息通信
【发表日期】
：
2013年9期
其他文献
目的：研究乌拉尔甘草药用部位（根及根茎）的黄酮类化合物。方法：３０％乙醇提取，聚酰胺柱层析、硅胶柱层析分离，理化主光谱学鉴定。结果：从其药用部位中分得虎耳草甙。结论：为首次从甘草属植
全文首先简述《汉语语法史》“使成式”一章的主要观点,并与《汉语史稿》对照,揭示从《史稿》到《语法史》的细微变化;在此基础上,从得与失两个角度对《汉语语法史》“使成式
从80年代末90年代初期开始,会计改革问题就已成为我国社会经济生活中的热门话题,尤其是《企业会计准则》和新的行业会计制度颁发之后,会计改革更加引起了社会各界的广泛关注,
<正> 根据卫生部《关于卫生监督体制改革的意见》,全国各地正在进行卫生监督体制改革。这次卫生监督体制改革,不仅是对卫生监督机构进行调整,更重要的是要进行卫生监督运行机
随着国民生活水平提高、冷链技术与设施设备进步升级、国民对食品安全与质量的重视,我国的冷链食品行业日益繁荣。速冻食品行业、冷链设施设备建设、冷链物流行业随之蓬勃发
构建科学有效的县域社会治理绩效体系是我国经济转型、社会转轨时期社会治理创新的重要内容。针对我国部分县域社会治理绩效体系考核目的不明确、内容不科学、标准不精细、程
小城镇可持续发展涉及自然资源、生态环境、社会经济活动等众多领域,是一个非常复杂的统.本文在全面总结国内外城市可持续发展指标体系研究现状的基础上,从中国的国情出发,将
适当因果关系是韦伯在具体的考察历史实体-例如《新教伦理与资本主义精神》中的新教伦理生活方式与现代资本主义兴起关系时运用的重要概念,这一概念也集中体现了贯穿韦伯思想
目的 观察消瘀片降低高脂小鼠血经的时效关系。方法：腹腔注射７５％蛋黄乳液复制高血脂小鼠模型，然后测定灌服消瘀片０．３５－１．４ｇ／ｋｇ后不同时间的小鼠血脂水平。结果：高血脂小鼠单次给予消瘀片事分别
目的：探讨连续性护理在老年糖尿病患者中的应用效果。方法：将106例老年糖尿病患者随机分为对照组与实验组各53例，对照组采用常规护理、实验组在对照组的基础上进行连续性护理干