卡尔达诺几何证明的构造性

为分析与探索《大术》中几何证明的特点,对《大术》第13章中三次幂加上常数等于一次项方程解法法则的证明原文运用简单易懂的数学表达式作以说明;基于对此法则的证明,分析了卡尔达诺几何证明构造性特点,总结了卡尔达诺的构造思路.     

解析几何的直观性

几何知识的学习中要突出几何的直观性.解析几何的学习中,教师和学生往往徘徊在几何直观与代数计算之间,过多的计算会让学生觉得解析几何是埋头算出来的几何,而只用几何直观也会让学生进入歧途.在B版教材必修2"点到直线的距离"中,这种算出来的和看出来的差别就比较明显.首先,从学生的知识结构来讲:学生在学习点到直线的距离之前已经掌握了直线倾斜角、斜率、直线方程和两条直线的位置关系等     

科技时代如何看待科学

 科学在今天已经深入人心,但实际上,究竟该怎么看待科学,还是存在许多争论和不同看法,最主要的分歧在两个方面.一、什么是科学？即科学和非科学之间,到底有没有界限,究竟怎么划分为好？比如,有人提出中医不是科学,有人认为风水也是科学,等等,这些都是有争议的.二、科学的价值或者说作用,到底怎么看？有人热情称赞科学,说它是经济社会发展的主要动力;也有人认为,人类发展进程中的许多问题,包括生态问题、精神危机等,都是科学技术的发展造成的.那么,科学的价值到底是正面的还是负面的？我们对科学的基本态度应当是怎样的？     

区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的构造

以区间集和滤子理论作为研究区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的工具,通过引入区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的概念,讨论了生成<∈,∈∪Q>-fuzzy滤子的几种方法,彰显模糊逻辑推演系统被视为代数滤子的镜像.     

构造性神经网络覆盖算法的模糊化技术及其应用

本文通过将模糊逻辑的结构性定义引入构造性神经网络模式分类系统中,给出模糊神经网络模式分类边界的直观描述方法.在系统信息不完备的情况下,可以获得更为合理的模式分类边界,并提高模式分类的精度.实验结果表明以上方法正确.     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

数学构造性解题方法

本文对构造性解题方法的基本形式,心理机制,思维特征以及构造性思维的培养,进行了一些思辩性地初步探讨。     

对数学定义的认识与思考

分析数学定义的各种不同形式及相应的研究途径,探讨数学定义对数学研究的影响和意义.     

关于2012年高考北京卷压轴题构造性证明的思考

试题再现:设A是由m×n个实数组成的m行n列的数表,满足:每个数的绝对值不大于1,且所有数的和为零.记S(m,n)为所有这样的数表构成的集合.对于A∈S(m,n),记ri(A)为A的第i行各数之和(1≤i≤m),cj(A)为A的第j列各数之和(1≤j≤n),记k(A)为|r1(A)|,|r2(A)|,…,|rm(A)|,|c1(A)|,|c2(A)|,…,|cn(A)|中的最小值.(3)给定正整数t,对于所有的A∈S(2,2t+1),求k(A)的最大值.((1),(2)略).本题对学生的思维要求较高,求解的难点在于如何得到k(A)的上界,并通过构造实例说明该上界可以取到.另外,"A∈S(2,2t+1)"的特殊形式     

积分变限函数的引入

积分变限函数是微积分中新引入的一类函数,本文从几何、分析两方面对积分变限函数进行引入,以便帮助大家理解这类构造性函数的结构及性质。