建构在三维时空坐标系的相对论 脉络性原理

符号计算在可积系统中的应用

本书主要基于李代数上的符号计算，用不同的方法研究可积与超可积系统的可积耦合，利用源生成理论研究其自相容源和守恒律，基于分数阶微积分理论研究分数阶的可积系统与超可积系统，最后研究孤子方程的拟周期解。本...

符号计算的程序分析 在线性代数、矩阵论中的应用研究

随着计算机技术的飞速发展，计算机代数系统虽已被广泛地应用于科研、教学以及工程技术，其中比较有名的Maple，Mathematics，Matlab等，在线性代数及矩阵论的教学中应用研究的较少，不够深入。本书针对这方面进行比较深...

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

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

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

高等代数与符号运算

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

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

魔鬼逻辑学 揭露潜藏在历史与社会表象下的博弈法则

博弈逻辑（Game Logic）研究的是理性的人在互动行动中即博弈中的推理问题，是逻辑学科的一个分支，是 “理性的”行动者或参与者在互动的过程中如何选择策略或如何做出行动的逻辑，属于应用逻辑范畴。本书是一部有关...

量子力学表象与变换论 狄拉克符号法进展

问题解决与知识建构

本书以儿童数学问题的解决为背景，在大量和深入的文献研究基础上，整合信息加工理论与建构主义，通过四项相关的实证研究，考察了问题解决背景后图示和策略的获得过程及其影响因素。...