爱因斯坦氏相对论及其批评 【数理化】

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

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

大数因子分解的合数模式特性 【数理化】

本书当今国际数学界大多侧重黎曼猜想的研究，寻求大素数产生和判定的快速算法及素数自身模式特性的研究，但随着素数位数的增大，导致计算与判定大素数的计算开销呈指数增长，这涉及到计算复杂性问题，至今在大数因子...

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

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

应用型人才培养模式下数学建模活动的理论与实践研究 【数理化】

本书内容包括数学建模活动的内涵与发展、应用型人才培养模式、应用型人才培养模式下数学建模竞赛特点分析、应用型人才培养模式下数学建模活动的意义、应用型人才培养模式下现行大学生数学建模教学与竞赛的...

相对论 一部开启现代科学与哲学思维模式的书 全新修订版 【数理化】

《相对论》是爱因斯坦所著的一部在世界科学理论界影响巨大的著作，是关于时空和引力的物理学基本理论，由阿尔伯特·爱因斯坦创立，主要分为狭义相对论和广义相对论。相对论发表的一百多年中，人们相继发现了时间旅...

第五届全国模式识别及机器智能学术会议 论文集 下 用于三维特例跟踪的结构匹配法 中国科学院沈阳自动化研究所 【数理化】

结构振动分析 振动结构的模型、分析和阻尼 【数理化】

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

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

毛宗岗批评本三国演义 下 【数理化】

毛本强化了原作中尊刘抑曹的倾向，重新规范了全书的体例，对参差不齐、字句不顺的回目加以修订，使之表述准确、通顺，同时，对《三国演义》进行了系统的评点。卷首的《读三国志法》是其评点的总纲，通过每回的总评和.....