论文部分内容阅读
逻辑网络的分解
【机 构】
：
浙江省邮科所
【出 处】
：
中国电子学会电子线路与系统学会1987年第七届年会
【发表日期】
：
1987年期
其他文献
该文讨论了Horn子句逻辑程序固有的不确定性及其潜在的并发性。分析了Prolog及一些并发逻辑程序设计语言模型的优缺点。在此基础上提出一种并行逻辑程序设计语言的梗概。（本刊
【摘要】本文从列举学生不纠正教师教学错误现象入手，寻找其缺乏批判意识的根源，指出其严重后果，从而提出初中语文教学培养学生批判意识的重要性和必要性。 文章着重从课堂教学主渠道、社会上交流、生活中体验三个方面探讨培养的方法和途径，并记述了一些教学的具体做法和实效。 【关键词】批判意识 培养 语文教学 【中图分类号】G633.3【文献标识码】A 【文章编号】2095-3089（2016）09-00
【摘要】在新的教学理念的指导下，为了提高小学语文课堂教学的效果，就要灵活运用恰当的教学对策，使语文教学真正成为促进学生全面发展的教学。文章从联系学生生活实际、导语设计和运用现代教学媒体方面进行了教学对策的分析。 【关键词】小学语文 课堂教学 教学质量 提高 【中图分类号】G623.2【文献标识码】A 【文章编号】2095-3089（2016）09-0050-01 《语文课程标准》指出“语文教
【摘要】当前阶段，多元文化背景下高职思想政治教育改革正在面临着空前绝后的发展契机。高职校院校需要在面对这一契机过程中，不断强化自我的主流观念，深化马克思主义对于高职院校思想政治教育工作改革的教学价值。为此，笔者在文中主要对多元文化背景下，高职教育院校政治教育改革的现状进行分析。 【关键词】多元文化背景 高职教育院校 思想政治教育 【中图分类号】G711【文献标识码】A 【文章编号】2095-3
【摘要】随着教育改革的深入和社会的发展，高校学生价值观、人生观和思想道德观等都受到影响，尤其是高校边缘化学生，这些学生思想简单，容易受外界因素干扰，对于这些边缘化学生，需要高校辅导员做好思想政治教育工作，为我国培养综合素质人才奠定基础。 【关键词】高校辅导员 边缘化学生 思政工作 【中图分类号】G641【文献标识码】A 【文章编号】2095-3089（2016）09-0055-01 前言：高
该文介绍一种新的编程语言LEP。LEP语言是Proloy语言与方程编程语言相结合的编程语言，它包括了上述两种语言成分各自所有的特点。LEP语言以单向语义合一（BiasedSemanticunifica
该文提出了一种新型的逻辑程序设计语言PLL，它具有比一般逻辑程序更广泛的语义，即增加了非终止计算语义，作者利用逻辑程序理论，证明了在一定的条件下，这种扩充是具有完备性和可靠