论文部分内容阅读
离散数学是现代科学的一个重要分支，是计算机科学中基础理论的核心课程，而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。
吴方法在离散数学谓词演算教学中的应用
【摘 要】
：
离散数学是现代科学的一个重要分支，是计算机科学中基础理论的核心课程，而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散
【机 构】
：
电子科技大学国家级计算机实验教学示范中心
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2011年1期
其他文献
目的 观察清热抗毒煎剂结合卫生部指南治疗普通型手足口病患儿的临床疗效。方法 将100例普通型手足口病患儿随机分为西医治疗组、中西医结合治疗组,西医治疗组按卫生部指南治
摘要：在物理电学实验过程中的误操作或错误操作是不可避免的，这就可能损坏仪器，利用本文介绍的虚拟实验系统既可以使学生把课堂上学习的理论知识应用于实践，又可让学生提前预习实验，还可以弥补实验仪器缺乏与落后的缺陷。 关键词：Flash；仿真；电子实现；欧姆定律；虚拟 中图分类号：TP315 文献标识码：A文章编号：1007-9599 (2010) 09-0000-01 OHM Law Realiz
我国既是世界产油大国,又是石油消费大国,在石油工业的发展中一些问题、矛盾的存在难以避免。文章鉴于物流对于销售环节的制约作用,指出了石油销售企业应当对现代物流有一个
摘要:《近世代数》是我校信息与计算科学专业课程中一门内容高度概括、抽象、逻辑推理严谨、系统的课程。首先简要论述了近世代数课程的重要地位以及进行教学改革的必要性和紧迫性,根据我校本专业的培养目标与就业出路,进一步针对近世代数课程的教学改革提出了一些具体的改革方案,并且其中大部分方案在实践中都取得了较好的教学效果。 关键词:近世代数;课程改革;教学实践;农业院校 中图分类号:G642 文献标志码:
结合我国当前建筑工业化实践过程中存在的问题,从模数和模数协调的角度进行分析,探讨建筑模数系列及其应用途径,通过研究归纳各类建筑模块化空间的优化尺寸,实现模数系列的构
随着国际经济发展的进一步深化,国际经济和贸易专业的学生培养必须能够适合新形势的需要。烟台大学国际经济与贸易专业在特色建设方面具有自身独特之处。其人才培养方案、师
利用开放的ladder型无反转激光系统的密度矩阵运动方程组的定态解和激光场运动方程分析了系统的稳定性.结果表明:如果增益大于激光腔损耗,则零解是不稳定的;如果增益小于激光
<正>我国加入世贸组织以后,图书馆外文文献资源在高校教学 和科研中的地位越来越重要。然而由于经费、管理等多方面的 原因,在外文文献资料的利用方面存在不少问题。现就我馆
从辐射传输理论的相似关系出发,根据P1近似和P3近似满足的一阶和三阶相似关系,引入了特征长度的参量.利用半无限介质的空间分辨漫反射的P3的近似解,对光源附近组织的空间分辨
在各种动画中，牛都是勤劳与力量的化身。今天我就带大家打造一个奇幻的大力牛，这样当你在论坛或网站上使用自定义头像时，就可以一显大力牛的本色了。