逻辑代数与电子计算机习题解答及教学建议 【数理化】

系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法 【数理化】

“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...

非线性演化方程分离变量的直接构造法及其应用 【数理化】

本书是一本直接代数法构造非线性演化方程分离变量解的专著。书中应用近些年新发展起来构造非线性演化方程行波解的符号计算方法(如齐次平衡法、Riccati方程映射法、投影Riccati方程映射法及它们的扩展方法)...

面向计算机科学的数理逻辑 【数理化】

面向计算机科学的数理逻辑 【数理化】

系统与控制中的随机方法 【数理化】

本书内容分为三部分。第一部分介绍参数估计及贝叶斯方法；第二部分介绍随机系统的滤波、控制及优化方法；第三部分以无线传感器网络的目标探测与跟踪为例，介绍如何利用前两部分中的知识和方法进行系统的设计、性...

趣题大师的逻辑训练 【数理化】

为纪念2010年5月22日离世的数学科普大师马丁·加德纳，将原“加德纳趣味数学系列”丛书精选后重新包装出版。

数理逻辑与数学基础习题集 【数理化】

测试你的逻辑推理能力 【数理化】

信息、智能与逻辑：第1卷 【数理化】

本书是在“首届信息、智能与逻辑高级学术论坛”讨论成果的基础上重新写作编辑而成的。全书分为通论、特论、论坛档案三大部分，收集了10篇信息、智能与逻辑的重要文章以及本次论坛的有关文件资料。...