简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:解析几何的本质是用代数方法研究几何问题,在灵活运用代数知识解题的同时,充分抓住问题的'几何本质'往往是解决问题的关键。长期以来,解析几何教学重模式化的代数运算,而忽视了隐藏于问题中的几何背景,使解题陷入'过程冗长,运算烦琐'的境地,导致学生'望而生畏,知难而退'。鉴于此,笔者认为,解析几何的教学要转变重代数运算、轻几何本质的现象,通过紧扣定义、揭示问题的几何本质来优化运算,回归解析几何的本源。
简介:摘要分数的概念具有丰富性和抽象性,小学阶段对于分数的学习贯穿整个一、二学段,是一个漫长的过程。在整个体系的学习过程中,除了知识技能的掌握,教师还应当引领学生凸显数学思想,发展良好的核心素养。本文以《分数乘法一》为例,在尊重学生起点的基础上,对分数乘整数进行探索,从两个方面来思考一是在大部分学生明算法的起点上,如何来进行算理的探究;二是经历、积累数学活动经验,以合情推理探索思路,发现结论。力求通过这样的设计,让学生获得数学核心素养的积淀。