论文部分内容阅读
该文定义了一个多ｃｏｎｔｅｘｔ的逻辑－ＤＣＬ。基于Ｂｏｃｈｖａｒ的三值逻辑，为ＤＣＬ定义了一个三值的解释，证明了该逻辑是可靠的。
一个多context的逻辑
【摘 要】
：
该文定义了一个多ｃｏｎｔｅｘｔ的逻辑－ＤＣＬ。基于Ｂｏｃｈｖａｒ的三值逻辑，为ＤＣＬ定义了一个三值的解释，证明了该逻辑是可靠的。
【机 构】
：
长沙国防科学技术大学计算机系
【出 处】
：
第四届中国人工智能联合学术会议
【发表日期】
：
1996年期
其他文献
目的研究子宫肌瘤大鼠受孕率及乳鼠发育情况。方法将健康性成熟3月龄Wistar雌性大鼠30只随机分为正常对照组和模型组。模型组以雌激素负荷法造模,正常对照组给予等量生理盐水
该文介绍一种新的矢量开关代数。该代数中，每一个元素都是二进制矢量。除了与、或和非运算被推广为“指数”运算外，另外二种新的运算——矢量压缩运算和矢量扩展运算被引入矢量
【摘要】教师与学生应分享彼此的思考、经验和知识，交流彼此的情感、体验与观念，从而达到共识、共享、共进，彼此形成“师生共同体”，实现教学相长和共同发展。本文从中学生心理角度出发，结合教学实践，探讨了初中英语教学中“师生共同体”的构建策略。 【关键词】教学相长 师生共同体 心理 策略 【中图分类号】G633.41【文献标识码】A 【文章编号】2095-3089（2016）09-0082-02 新
【摘要】PBL模式是目前国际上比较流行的一种教学模式。本文在介绍了PBL模式的基础上，结合独立学院大学英语教学的目标和学生特点，尝试将PBL模式应用于大学英语翻译教学的实践中，分析探讨了在不同教学阶段中的实施策略和效果并就此提出若干建议。 【关键词】PBL模式 大学英语翻译教学 独立学院 【基金项目】本文系2014年河北省高等学校英语教学改革项目（项目编号：2014YYJG288）研究成果之一
【摘要】在大学英语新教改的要求下，大学英语的教学方法改革如火如荼的展开了。面对大学英语当前的教学现状，要采取怎样的改革对策才能实现新教改的目标呢？从分析新教改的背景、目标与意义出发，通过分层落实教改目标、构建多通道的学习环境、采用新的教学模式和及时进行教学反思与评价等方式实现英语教学改革的既定目标。 【关键词】大学英语 教学改革 对策 【中图分类号】H319【文献标识码】A 【文章编号】209
【摘要】小学英语教育是以素质教育为根本宗旨、以培养学生创新精神和实践能力为重点、激发学生兴趣为突破口。英语教学的目的不仅是使学生掌握语言本身，同时通过语言教学来培养学生的思维能力、交往能力及合作精神，培养学生表达情感的能力。这就决定了课堂活动在小学英语教学中起到了举足轻重的作用。英语课堂中，运用多种教学手段，安排多种教学活动，可激发学生学习英语的兴趣。 【关键词】意义 方法 原则 兴趣 【中图