摘要：一、教学设计背景在2019年人教A版的教科书中设置了许多“阅读与思考”栏目,选材丰富,有培养学生爱国情怀,增强民族自豪感的,如“祖暅原理与柱体、锥体的体积”;有加强知识和技能的实际应用,培养学生问题意识、创新意识、应用意识的,如“如何得到敏感性问题的诚实反应”;有拓展知识,开阔学生视野的,如“欧几里得《原本》与公理化方法”等等.

摘要：公理设计理论为产品设计开发过程提供了指导框架,能够指导设计者在设计过程中做出正确的决策。文中简述了公理设计的研究背景、发展和基本理论。在此基础上,对公理设计的研究热点进行了综述及分析。主要从公理设计的扩展,公理设计与其他设计理论和方法的关系及集成,信息量计算方法及基于信息公理评价决策方法3个方面进行了评述,并对公理设计的优点和存在的问题进行了讨论。

摘要：为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性。将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件。通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性。

摘要：本文在大家可观察到德都蒙古人的口头歌谣的表演事实为基础,打算建立一种口头歌谣生成语法理论。我们这首歌与这首歌之间程式系统的转换现象入手,用公理化的符号体系推导出,口头歌谣的生成结构理论的基本纲领。将这种理论结合口头歌谣的结构主义歌谣构件分析与口头程式分析的基础上,统一解释每一次口头表演来完成的(某族群的)所有这首歌之生成结构。

摘要：1基本情况分析“平面的基本性质”这一节内容是在学生对常见空间几何体有了初步认识的基础上,为了进一步研究空间线面关系,建立立体几何学科,采用公理化的方法系统地给出一些不加定义的初始概念和不加证明的基本事实(公理),并在此基础上得到三条推论.概念不定义、结论不证明,似乎很容易实施,但要使学生接受这些概念,承认这些事实,理解这种做法绝非易事.简单化处理,把概念和公理强行灌输给学生会产生较大的负面影响,学生会觉得数学不讲道理,更不会认识到公理化方法的科学与文化价值.本节课的教学还要使学生掌握点、线、面及其位置关系的符号表示,并能运用符号语言进行简单的推理证明.

摘要：本文在大家可观察到德都蒙古人的口头歌谣的表演事实为基础,打算建立一种口头歌谣生成语法理论。我们这首歌与这首歌之间程式系统的转换现象入手,用公理化的符号体系推导出,口头歌谣的生成结构理论的基本纲领。将这种理论结合口头歌谣的结构主义歌谣构件分析与口头程式分析的基础上,统一解释每一次口头表演来完成的(某族群的)所有这首歌之生成结构。

摘要：合理的投票系统都是操纵的,投票决策形成过程中防操纵问题,属于应用领域的前沿问题。从公理化的方法、计算机辅助证明的方法、设计新逻辑的方法,对防操纵社会选择机制进行了研究。