1)  Büchi automata
命题时态逻辑
2)  proposition
命题
1.
Treating the propositions with measure word “all” cautiously——some problems in “discrete mathematics”;
慎待含全称量词的命题——谈谈《离散数学》一书存在的几个问题
2.
An experimental study of test proposition design of physical education psychology;
《体育心理学》考试命题设计的实证分析
3.
Constructing Auxiliary Function and Prove Proposition F (ξ)=0;
构造辅助函数,巧证F (ξ)=0命题
3)  setting questions
命题
1.
Facing the incessant change of self-taught examination of high education, the administrators should strengthen learning to improve their level, strengthen the group construction of personnel in charge of setting questions to improve the quality of setting questions, stimulate the enthusiasm of school responsible of examination to improve the level of school administration.
为应对高等教育自学考试不断变化的形势,管理工作者在加强学习、提高自身水平的同时,要加强命题人员队伍建设,提高命题质量;充分调动主考学校的积极性,提高学校管理的要求和层次;坚持科学、规范、制度、原则,不断提升命题管理工作。
2.
This paper aims to analyze the relationship between the theory examination of musical education major in full-time regular institutions of higher education and that of musical education major in self-teaching examination(from junior college to college), discussing the examination standard, way of setting questions and establishment of standard of grading.
本文从分析全日制普通高校音乐教育专业理论课程的考核与自学考试音乐教育专业 (专升本 )理论课程考核的关系入手 ,探讨了自学考试的考核标准、命题方向及评分标准的确立等问
3.
Speciality class test serves teaching in universities through setting questions and quality analysis such as Difficulty, Discrimination, Reliability and Validity, in order to survey students knowledge, improve teaching methods and guide students to study hard.
专业课程考试必须从把好命题关开始 ,通过全面的考试质量分析 ,对试题的难度、区分度和信度、效度作出计算 ,了解学生掌握知识的情况 ,改进教学方法 ,引导学生积极主动学习 ,使考试更好地为教学服
4)  propositions
命题
1.
Based on this we one and for all give the unified definition of 24 kinds distinct limit of the simple function and in new way use intactly, succinctly, systematicly giving prove of set of propositions about the limit of the simple function.
将现有的邻域概念作了适当的扩充,在此基础上,一次性地给出了一元函数的24种不同极限的统一定义,并进而以新的方式更完整、更系统、更简洁地给出了有关一元函数极限的一系列命题的证明。
5)  examination item design
命题设计
6)  Proposition induction
命题判断
参考词条
补充资料:时态逻辑
时态逻辑
tense logic

   非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。早在古希腊时期,麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念,中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年,波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想,于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作,也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年,独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来,时态逻辑的成果逐渐增加,现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面,以及在人工智能、科学哲学等方面都有很大的作用或影响。
   构成时态逻辑的基本成分是时态语句。时态语句分为两种:时间上确定的语句;时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造:①把一组语句作为公理,这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造,这叫做语义地构造。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。