面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下 【数理化】

由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为，近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现，即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...

应用概率统计学习指导及习题解析 【数理化】

本书包括随机事件与概率、随机变量及其概率分布、随机变量的数字特征、多维随机变量、大数定律与中心极限定理、样本与统计量、参数估计、假设检验、方差分析与回归分析等九章内容的重难点解析与习题解答。...

无机及分析化学教程 【数理化】

本书主要内容有绪论、原子结构、化学键与分子结构、定量分析的过程、误差与数据处理、酸碱反应与酸碱滴定法、配位反应与配位滴定法、氧化还原反应与氧化还原滴定法、沉淀反应与沉淀滴定法和重量分析法、元...

结构力学 2 专题教程 辅导及习题全解 【数理化】

本书主要内容是关于理工类大学教学辅导，包括：数学、物理、化学、电工技术、电学理论等方面，针对这些学科的有关教学要求，本书收其重点、难点和疑点问题的概括、分类等，对学生具有实际使用意义。...

无机及分析化学实验 【数理化】

本教材共分6章，内容包括：基础知识与基本操作、常用仪器及使用方法、实验数据处理、实验室安全知识等。实验项目分为无机化学实验、分析化学实验、综合性设计性实验三大模块，涵盖了无机及分析化学实验的基本操...

《微积分 下》同步辅导及习题全解 【数理化】

本书主要讲述了管理活动与管理理论、全球化管理、信息与信息化管理、决策与决策方法、计划与计划工作、组织设计、人力资源管理、组织变革与组织文化、领导、激励、沟通、控制方法等内容。...

温差剪切分层流运动特性试验及数值模拟研究 【数理化】

本书通过室内实验、数值计算和理论分析，系统研究了温差剪切分层流的运动特性及变化规律。对直段和不同弯段水槽分层流运机理进行了系统、深入的物理模型实验和数学模型研究。...

实变函数与泛函分析辅导及习题精解 高教3版 【数理化】

高等数学同步辅导及习题精解 【数理化】

本书紧密结合全国高校广泛使用的同济大学应用数学系主编的《高等数学（第五版）》教材内容，全书共分12章，通过预习导航、要点回顾、知识结构图、重点难点等几个部分，引导学生采用正确的学习方法，省时省力地学好高.....