矩阵的证明及运算在Mizar系统下的实现

本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。

循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现

本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.

以单元整合为基础的小学数学结构化教学策略

数学作为一门研究数量关系和空间结构形式的自然学科,具有高度的逻辑性,每个知识点之间都存在着一定的联系,并在相互联系中形成了一个完善的知识网络。学生在对数学知识进行学习的过程中,对数学知识网络的梳理与构建会直接影响学生的数学学习效果。在课程体系的改革发展过程中,面对数学教学这一教育需求,现行的小学数学教材在教学结构方面进行了极大的优化,以单元结构为特点的编排形式极大地促进了教师教学能力和学生学习效果的优化与提升。