形式证明相关论文
所谓“争鸣法”，是当学生对某一知识结构的认识有了分歧之后，各自发挥大脑的能动作用，通过论证、答辩、争论等形式证明自己对这一知识......
通过将信道中的传输信息单元序列描述为正规表达式，给出了信道有界性无假定的多协议机系统模型及有关性质成立的形式证明方法及相关......
该文对背包问题和最佳合并顺序问题的贪心算法的正确性给出了严格的形式证明，从中可以看出贪心算法正确性证明的某些一般策略。......
船舶与土木工程学院副教授何雄君的科研项目“大跨节段施工预应力混凝土梁桥配束自动化机理研究”，得到武汉市科委的资助.rn 1.该项......
传统的数学教育观念在教学中所看重的只是数学和数学思维的一个侧面 ,即严谨的体系和证明推理 ,至于数学的创造过程和似真推理 ,或......
我国是成文法国家，且中国公证协会已于2003年加入国际公证联盟，基于我国的公证制度大体上属于大陆法系，公证理论界在谈到公证的形式证......
空间状态集比时间状态集高一个基数。因此，时间状态和空 间状态的对应，不 是一对一的关系，而是一对多的关系。这就为“运动着的物体每......
采取个案研究的方法，以录影等方式收集18位大学生的几何探索活动资料，采用定性研究诠释其探索过程，研究动态几何环境（DGE）下大学生的几......
现代教育技术应用于教育、教学是教育现代化的时代要求,也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的......
机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异.高效的客户端缓存协议是机群文件......
自动阅卷评分是大规模计算机考试的必然选择，而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题，其自动评分一直制约着考试......
PME的一些最新成果显示动态几何软件已经给数学推理创造了新的推动力，给几何教学带来了一个新的工具，而且动态软件有促进探索和证明......
基于Pavelka关于模糊命题逻辑的思想,本文初步建立了一种基于[0,1]区间上Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论.定义了程......
四色猜想是图论中的一个重要问题。它从猜想到定理历经三代证明:1976年阿佩尔和哈肯的计算机辅助证明、1994年西缪尔等人的修正、2......
