论文部分内容阅读
《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研究．结合实例帮助学生更好地掌握整个前束范式的求解过程，并在实际教学过程中起到很好的教学效果。
谓词逻辑中前束范式的求解方法研究
【摘 要】
：
《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研究．结合实例帮助学生更好地掌握整个前束范式
【机 构】
：
洛阳理工学院计算机与信息工程系
【出 处】
：
现代计算机：下半月版
【发表日期】
：
2012年3期
其他文献
无线传感器网络应用在很多场合中，监测目标进行定位和跟踪是最基本的应用。在无线传感器网络中基于移动锚节点的定位算法进行设计仿真，网络部署成本显著减少。节点能耗减少，运行
Web代理是现代Internet的一个重要中间网络器件．代理缓存算法的优劣不但影响到客户端的浏览速度，还关系到目标服务器的性能以及中间通信网络的整体表现。对目前几种流行的Web代
通过分析目前临床课程考核存在的考试方法单一，考试题目陈旧，忽视过程性评价等问题，提出构建科学、规范的临床课程考核体系的办法，实现课程考核从简单的一次性期末笔试向注重过程
将Bag of Words算法引入木材图像识别领域中,介绍Bag of Words算法在木材识别上的实现过程。首先用SURF提取特征点,然后再对这些特征点进行聚类,得到类心。基于类心得到各个训练树种的向量柱形图和待识别树种图片的向量柱形图。选择分类器对用向量柱形图描述的木材图像进行分类。这将提高木材识别的效率,为没有木材专业知识的人能较为准确地辨别树种提供较为可靠的方法。
《计算机系统结构》课程对于计算机专业的学生系统地掌握计算机软硬件知识非常重要。通过该课程的学习，可以加深学生对计算机整体知识的理解．提高学生分析和设计计算机系统的能
利用统计学的因子分析法,根据浙江某医学院校各地区的招生统计数据,探索建立医学院校本科招生生源综合质量分析模型,开展分省招生生源综合质量评价实践,为高等医学院校编制招
针对教学管理系统出现的问题和工作流管理系统的优点，提出一个以工作流引擎为核心，基于角色的授权控制和基于任务的访问机制，适合工作流管理系统的模型，并将该模型应用到高校的教