用逻辑形式来表示时态信息的方法之一是用被称之为具体化的（reified）命 题来表示，该文将讨论几种用此方法表示时态信息的逻辑形式，在此基础上提出一种基于片段的时态逻辑系统，并介
本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.
文中提出了逻辑验证自身的特点：它的对象设计，可以利用设计中所有的信息资源，可以深入设计内部分而治之。用一个１６×１６位的乘法器为例说明这些特点的利用，使得原来很难的逻辑验证工作
逻辑询问中的静态优化，实际上是在计算逻辑询问时将询问中对参数的约束尽量下推。该文扩展了Ｕｌｌｍａｎ的规则／目标图（ＲＧＧ，即Ｒｕｌｅ／Ｇｏａｌ Ｇｒａｐｈ）和新引入了Ｐ－图，以此，许多递归询问可被静态优化，其中一些通常是用动态
【中图分类号】G633.3【文献标识码】A 【文章编号】2095-3089（2016）09-0077-02 议论文训练学生的逻辑思维能力、有理有据的表达能力。然而学生写和想的是用哪些文字来填满作文的字数要求，也就钟爱拼凑的文字，导致文章立意不贴切、内容缺乏思辨性。 一、课本教学过程中与之议论文写作教学没有很好的有机结合 1.课本教学过程中的延伸性教学缺失，导致高中生不会分析、推理和论证学生并
硬件验证是逻辑设计自动化工作中的重要组成部分，目前在该领域缺乏有效的工具支持。该文在给出ＶＨＤＬ的逻辑语义的基础上，使用一个自动变换工具完成了硬件电路的ＶＨＤＬ描述到ＸＹＺ／Ｅ描述的自动变换
【中图分类号】G623.24【文献标识码】A 【文章编号】2095-3089（2016）09-0075-01 《语文课程标准》指出：“写作是运用语言文字进行表达和交流的重要方式，是认识世界进行创造性表述的过程。写作能力是语文素养的综合体现，应引导学生关注现实，热爱生活，表达真情实感，这就重在培养学生的写作兴趣和自信心。”但现实是，在教学中作文成了语文教师的一大难题，习作成为了学生望而生畏的科目，