数学符号意义获得能力研究

本书主要探讨如何根据数学符号的形式特征建构多元意义结构，对数学知识进行“精细加工”的问题。本书首先提出问题并分析国内外研究现状，然后探究了符号学理论及其教学意蕴、数学符号及其意义结构、数学符号意...

符号逻辑 语法语义和证明

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...

半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

论质量的生成与意义

本书通过在研究量子空间背景下质量的生成与意义，对物理学中质量的概念，做了进一步的探讨，并对质量中的动力学、量子力学、广义相对论等均提出了一些新的思想和观点。...

启蒙的符号 数学符号的诞生、演化和隐藏的力量

数学分析在初等数学中的运用与例题选讲

本书共分极限、微分、积分与级数四章。每一章的内容包括基本理论、方法及其在初等数学中如何使用的例子，用基本理论解释中学教材中某些无法讲透的内容，如推导中学数学公式，解释中学数学用表的制作原理等。全书...

符号网络函数与不定导纳矩阵

高等代数与符号运算

本书为适应现代计算技术、工程应用、应用数学研究及数学与应用数学等专业高等代数教学需要而编写的。

矢量、并矢分析与符号运算法

电学中常用的国际字母符号