1/1000000的人才会做的数学游戏 脑力开发终极版

本书作者根据历代数学家流传下来的数学趣题进行编排，用清晰的图画和解释为人们展开了一数学图景，对于各类人群的脑力开发都有重要的参考价值。本书曾入选和剑桥的数学参考书，是一本不可多得的数学游戏类书籍。...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

智能优化的探索-开发权衡理论与方法

智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...

化学多媒体课件的设计、开发与制作

随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...

ANSYS-APDL级工程应用实例分析与二次开发

本书对ANSYS参数化设计语言，即APDL语言的编写结构、参数变量与数组的类型及定义、程序结构控制、宏命令等内容进行了详细的阐述；然后结合一定的实例，依照前处理器、加载与求解处理器、后处理器、后处理器、实...

图图的智慧王国 创造力潜能开发 电影票之谜

数学在人们的生活中无处不在。基础数学概念的源泉便是周围的客观现实。所以， 把数学知识回归到儿童的生活之中，让儿童在生活中学习数学、理解真实的数学问题，学会用简单的数学思想、方法解决日常生活中的一些...

ANSYS高级工程应用实例分析与二次开发

本书以有限元分析法为基础，选用多个行业的典型工程实例，以作者使用和开发经验为根基，结合丰富工程实例，阐述工程背景，以专业化的语言和完善的理论体系，将ANSYS在各个专业领域的应用介绍给广大读者。全书首先以少....

MSC.Marc工程应用实例分析与二次开发

本书以有限单元法为基础，以MSC.Marc/Mentat为主线，以专业的语言和完善的理论体系，将MSC.Marc/Mentat在各个工程领域的应用展示给大家。各部分内容由浅入深，循序渐进，将会成为广大读者的良师益友。本书首先介绍了...

无机及分析化学自学指导及实验

整数及分数微积分流变模型研究及应用