符号逻辑 语法语义和证明 【数理化】

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

MAPLE符号处理及应用 【数理化】

MAPLE是目前应用十分广泛的数学符号处理软件之一，提供十几种完成特定功能的程序包，如线性代数程序包、微积分程序包、统计程序包、偏微分方程程序包以及画图程序包等，这些程序包可以满足各种实际需求，并提供给...

量子力学表象与变换论 狄拉克符号法进展 【数理化】

本书对狄拉克创立的表述量子论的符号法推陈出新，系统地建立了“有序算符内的积分（IWOP）技术”的理论，在更深层次上结束符号法的优美和简洁，使狄拉克的表达得到更多的直接应用。在看似已臻完美的量子力学理论体系...

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

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

Mathematica 符号运算与数学实洋 【数理化】

本书介绍Mathematica4.0及5.0各种功能的使用和基本应用方法，并利用其来展开数学实验研究。全书由7章构成：第1章介绍Mathematica求解方程运算，主要有逻辑方程、代数方程、反函数方程和微分方程等运算；第2章介绍M...

非线性演化系统的符号计算方法 【数理化】

本书是对非线性Vakhnenko方程精确解深入而系统研究的一本专著。非线性Vakhnenko方程最早由乌克兰国家科学院的地理学家V.A.Vakhnenko在上世纪九十年代初提出。非线性Vakhnenko方程是描述高频波在稀松界质中...

准混沌冲击振子：重正化、符号动力学及运动迁移现象 【数理化】

本书介绍了准混沌运动的最新进展，讨论了动力系统中有序运动与无序运动交界处的复杂的动力学分支行为。准混沌运动是由具有自相似结构的稳定运动岛屿邻域附近运动轨迹的吸引性来刻划的，并且其相空间的位移是随...

工农技术人员手册 无机定性分析手册 【数理化】

化学工作者手册 有机化学反应机理手册 【数理化】

本书精选了49个（类）常见的有机化学反应（大多是人名反应），每个反应均给出一步一步详尽的电子转移机理过程，同时给出反应的应用示例，同时列出了部分相关的最新参考文献，注重系统性和完整性，旨在帮助读者深入理......

儿童数学与认知训练手册 指导手册 供家长或教师使用 【数理化】

数学训练模型是加拿大心理学家J. P. Das及其同事于2014年提出的一个透过认知心理学方向针对促进数学学习的训练方案，通过促进与数学活动有关的认知加工，从而改善数学学习。模型的适用对象是学龄前儿童以及小...