论文部分内容阅读
该文以计算逻辑为理论基础，设计了一种模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理。
处理“同理可证”问题的一种模型
【摘 要】
：
该文以计算逻辑为理论基础，设计了一种模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理。
【机 构】
：
中山大学计算机科学系(广州)
【出 处】
：
第六届全国机器学习研讨会
【发表日期】
：
1998年期
其他文献
氧化锆耐火度高（２７１５℃），化学稳定性好，在氧化气氛中十分稳定，在还原气氛中也具有一定的稳定度，对许多金属溶液和炉渣的抗侵蚀能力强，因而被广泛应用在耐火材料中。目前国内小方坯连铸用
教育的目标不仅仅是“学什么”，更重要的是应该“如何学”。面向21 世纪，我国广大中学教育工作者已经意识到培养学生学习策略的重要性。著名教育者桂诗春说： “语言的使用既离不开规则，也离不开策略；教会学生掌握规则，是教师所熟悉的，但教会学生运用策略却是一个新的课题。” 然而，如何才能有效地学习呢？当代认知心理学家指出：没有任何教学目标比“使学生成为独立的、自主的、高效的学习者”更重要。因此，传授有效的
【摘要】创新的课堂对学生才有吸引力和诱惑力，才能激发学生学习的兴趣和积极性。课堂的保鲜度是激发学生的学习兴趣的重要因素。文章从情境的创设保鲜、语言的保鲜和教学方式的保鲜等几个方面，谈谈高中英语课堂的保险策略。 【关键词】高中英语 情境 方法 语言 保鲜策略 传统的英语教学以教师的“一言堂”、“满堂灌”为主要形式，单一、枯燥的课堂教学不能激发和调动学生学习的主动性和积极性，并且，学习的兴趣逐渐下
【摘要】语言教学的基本目标是实现顺畅交流，当前经济全球化的背景更要求学生通过英语学习来实现面向世界的沟通和交流。基于此，在小学阶段开展英语课程，让学生在学习的过程中不断完善和强化口语的应用，切实提高学生沟通和交际能力，尤为迫切和重要。 【关键词】小学生 英语 口语交际能力 引言 当前，在小学英语教学的过程中，有很大一部分小学生因为害怕犯错，往往在教学的过程中不敢主动开口，羞于应用英语进行交流
目的 测定唐山市正常成人跟骨定量超声参数.方法 采用UBIS3000型定量超声仪,对唐山市785名正常成人,年龄为20～89岁(其中男性为386名,女性399名),跟骨定量超声参数进行测定.结
【摘要】为了提高和促进学生英语阅读理解能力，英语教师在教学中要关注学生的实际情况，以学生为中心，让学生掌握英语阅读的技巧和方法。通过教师的引导和启发，学生的学习能力会在潜移默化中提高。教师要关注对于学生学习方法的传授，对学生进行“授之以渔”的指导，促进学生的可持续发展。 【关键词】高中英语 阅读理解 英语阅读理解是一个重要的知识输入的过程，通过大量的阅读，学生的知识面和英语文化背景知识会不断地