哥德尔不完全性定理 【数理化】

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...

神奇的光和电 SWITCH ON B级 适合6-10岁读者 【数理化】

本书适合6～12岁阅读，介绍了声光电现象的本质原理及其应用等科学知识。具体包括：光的本质和传播方式、照明的发明、光对生命的作用、光谱、电磁波谱、声波的产生与传播、收音机和低哈的工作原理。...

2011年MBA、MPA、MPAcc联考数学完全攻略 【数理化】

本书完全按照最新版考研大纲的词汇表编写，作者为考研大纲制定和修订的专家，本书是考生在基础复习阶段必备的参考用书。本书为考生提供分单元学习词汇的方法，能够使考生在较短的时间内迅速扩大词汇量，牢牢掌握大...

ANSYS-APDL级工程应用实例分析与二次开发 【数理化】

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

ANSYS 14完全自学一本通 【数理化】

本书针对最新版本ANSYS 14.0在工程分析中的应用进行编写的。根据内容的侧重点不同，全书可分为基础、专题两个部分。基础部分是按照ANSYS有限元分析的基本流程和基础操作，将有关知识分为6章，分别为ANSYS基础操...

光谱辐亮度和辐照度响应度系统级定标方法研究 【数理化】

光辐射探测器光谱响应度的定标是光辐射测量领域的主要研究内容之一，也是定量化光学遥感和环境监测等应用领域的基础性关键技术。在国内率先研制外部导入可调谐激光的积分球光源，包括辐亮度光源和辐照度光源。...

高等数学 1 应试模拟 【数理化】

离散事件系统模拟 【数理化】

计算机随机模拟 【数理化】

本书共32章

分子模拟 理论与实验 【数理化】