论文部分内容阅读
以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．
用波动方法证明元函数的正确性定理
【摘 要】
：
以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．
【机 构】
：
中山大学计算机科学系,广东工业大学计算机科学系
【出 处】
：
中山大学学报论丛
【发表日期】
：
1996年6期
其他文献
一、症状葡萄二星叶蝉主要以成虫、若虫危害葡萄叶片，剌吸汁液。受害叶片先出现小白点，严重时斑点连片成白斑，全叶失绿或焦枯，引起早期落叶，呆形变小，色泽差或不着色，影响商品价值。
经济社会建设速度的加快,给建筑施工企业的发展提供了广阔的空间。但在目前,国内建筑市场还不够规范,法律制度、企业内部机制等尚不够完善,企业经营蕴含着巨大的风险,而经营风险的客观性决定了企业防范风险的必要性。特别是金融危机蔓延时期,对实体经济的影响不断加深,建筑施工企业也不可避免地受到冲击,不少中小企业裁员、减薪甚至倒闭。因此,必须把防范经营风险作为一项系统工程来抓,才能有效应对挑战、保持企业平稳健康
怀疑是个体面对企业产品宣传的普遍态度,当前消费者对商业行为越来越警惕,甚至会抵制某些营销策略,不恰当的策略只会适得其反。基于此,本文系统归纳了消费者怀疑的影响因素、
2月20日上午，四川大学校园，初春的风开始变得柔和；亟待破土而出的小草，正酝酿着一个又一个清脆的梦想。“三农学人”王国敏带着新一年的清新气息，掀开了一摞调研材料。 凭着对三农问题研究的执著，王国敏以其学识和人格魅力传承着一种精神，一种献身于国家事业的精神。 “脑体倒挂”时代作出选择 “搞导弹的不如卖茶叶蛋的，当老师的不如开理发店的……”20世纪80年代初，改革开放浪潮席卷全国，在这个
【摘 要】 初中语文新课程标准指出现代社会要求公民具备良好的人文素养和科学素养，具备包括阅读理解与表达交流在内的多方面的基本能力。培养学生广泛的阅读兴趣，扩大阅读面，增加阅读量，提倡少做题，多读书，好读书，读好书。因此探索以教材为载体作为课内阅读与学习的范例，以课外读本为载体向课外阅读拓展，最终实现课内带动课外、课外促进课内的交互整合，是指导学生进行课外阅读的一种有效方式。 【关键词】阅读现状;
【摘 要】高中政治教学一定要注重发掘和运用更加丰富的教学资源，以此来增加政治教学的生动程度，让学生在理解中更加顺利，对规律的把握更为形象直观，以及深化思想教育成效。 【关键词】高中政治；教学资源；开发利用 在高中政治教学中，教师一定要重视资源开发问题，因为教材中的信息量不足以支撑起高效的政治教学课堂，教师必须要充分发掘各种资源，使政治课堂更加生动丰满，既有利于学生学习兴趣的提高，也可以深化理解
文章旨在介绍软土地层浅埋暗挖大断面地铁车站风道，顺利通过地面楼房建筑区，保证楼房不发生开裂的开挖沉降控制技术。通过地表树根桩加固技术的应用，有效地控制了地表沉降，保证了
O2O模式,即融合线上与线下的创新商业模式。在传统零售业与电子商务产业共同发展的路径中,现代零售业发展需要融合传统与现代的商业模式,而O2O模式满足了传统连锁零售企业的
近年来我国农业自然灾害呈偏重发生态势，虽然国家不断加大农业投入力度，下大力气改善农业生产条件，但是防灾抗灾能力依然严重不足，成灾率一直居高不下。造成这一问题的一个重要原因是农田水利设施建设的制度基础缺失。增强农业防灾抗灾能力，必须致力于相应的制度建设。 一、农业自然灾害的影响及其一般决定因素 农业自然灾害带来的直接影响是农作物歉收，继而影响农民增收，进而波及整个经济社会的发展。但是，由于对灾害