论文部分内容阅读
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
中介谓词逻辑系统的λ—归结
【摘 要】
：
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.
【机 构】
：
江南大学理学院
【出 处】
：
软件学报
【发表日期】
：
2003年3期
【基金项目】
：
江南大学校科研和教改项目
其他文献
摘 要：美术教育一直以来都是中小学学科教育的薄弱一环，不仅课时被压缩，教材也常常脱离学生的实际生活，学生对美术课程的学习兴趣泛泛。在新形势下，应当采用邀请农民画传承人现场演示、组织学生参观农民画传承基地、农民画专题展览、鼓励学生参与民俗活动等多种方式，充分发掘农民画在美术教学中的潜力，丰富美术教学内容，提高学生学习美术课程的学习兴趣，从而引导学生接受传统文化，增强民族认同感，激发创新思维，传承非物
为了提高个性化推荐的质量,简化推荐规则生成过程中相关参数的设置,讨论了应用于个性化推荐中的关联规则的性质,定义了"推荐非空率"这一新的推荐测度以及"1-支持频繁项集"和"
四川省巴中市卫生局用好用活各项卫生政策，争取领导支持，协调部门配合，克服种种困难，多方筹措资金，探索出了适合山区农村的合作医疗新路子，确保了山区农民的基本健康需求。
【正】 作为目前最流行的商务移动办公设备,笔记本已经被越来越多的人所接受。在享受便捷办公环境的同时,懂得笔记本的维护也变得更加重要。维护笔记本,让笔记本保持清洁,这
可拍照手机像素越来越高、时尚的机器也越来越多,人们自然会将注意力集中到这些吸引眼球的手机上来。可是从实际的手机销售情况来看,低价手机还是占很大比率的。当然原因有很
<正> 海曙区1995年前人体寄生虫调查点均选在农村,为填补城区空白,于1997～1999年选择市中心区太阳居委会。农村点与城区点都经过3次(年)的查治,效果极佳,现将试点结果报告如下