本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。本书将向读者解释该系统工具

自1983年Mandelbort首次指出自然界及许多科学技术领域存在大量的分数维这一事实后，分数阶微积分便获得了快速发展，并成为当前非线性学科的研究热点。分数阶非线性混沌系统是分数阶微积分研究的重要方面。本书重点研究分数阶混沌系统的数值求解算法、特性分析方法和电路实现技术，为分数阶混沌系统的应用奠定理论和实验基础。全书

面孔吸引力对于人们的社会交往和人际互动具有重要的意义，它不仅是传递信息的重要线索，其引起的情感体验也是影响人际交往的重要变量。虽然爱美是人的天性，但是我们并不清楚有吸引力的面孔是如何在认知系统中产生作用的，以及其是否具有进化的意义。目前，关于面孔吸引力认知偏好的神经机制的研究尚少，且多是来自西方文化背景。因此，本书在中

本书对专门用途英语语言研究、课程设计和课堂教学进行了阐述，探讨了中外专门用途英语研究的起源，综述了中国大学英语界对专门用途英语教学与研究的争论始末，阐述了作者对专门用途英语课程教学理念的看法。基于体裁分析中的语步结构和话语能力、系统功能语言学及其他语言学理论，对专业与学术英语中的语言现象及写作框架进行了实证研究，并对学

本书的中心议题为探讨我国会计准则变革对资本市场信息效率影响效果和路径的相关问题。从分析师盈余预测的准确性、短期市场反应的功能锁定现象及体现长期投资决策的股价中的特质信息含量三个方面检验会计准则变革对资本市场信息效率的影响。本书试图拓展资本市场信息效率的理论内涵，进而丰富行为会计学中的认知局限理论在资本市场信息效率研究中

本书面向2035年，对大气污染防治、土壤污染防治、水环境保护、清洁生产、生态保护与修复、化学品环境风险防控、环保产业技术、重大自然灾害预判与防控、全球环境变化与应对等9个子领域进行技术预见分析。邀请国内专家对9个子领域共计125项技术课题的发展趋势和前景进行研判和分析，遴选出25项关键技术课题并进行了展望。本书对我国生

本书系统介绍了风电功率特性分析方法及其场景的模拟方法。全书分为上、下两篇，共14章。上篇介绍风电功率特性的分析方法，包括第1～7章，下篇介绍风电功率场景模拟的方法，包括第8～14章。第1章介绍了风电功率特性分析的数学基础和基本流程。第2～6章分别介绍了风电功率时序特性、相关特性、预测误差特性、波动特性、持续特性共5类特

本书在分子水平上系统地阐述了分子遗传病学的基本理论和分子技术在遗传病发病机理、诊断和治疗中的应用。大量介绍21世纪以来应用最新分子生物学技术研究成果阐述遗传与疾病发生的关系，重点介绍应用新的分子手段治疗遗传病的最新研究成果。本书分上下两篇，由18章组成。上篇：医学分子遗传学理论，重点阐述了在分子水平上遗传性疾病如，单基

本书立足于我国燃煤电厂烟气脱硫石膏在农业领域的资源化利用现状，系统分析了利用脱硫石膏改良盐碱土壤的技术机理、反应速率及其影响因素、适宜施用量和施用深度，深入探讨了脱硫石膏对不同地区、不同盐碱类型和盐碱程度土壤的短期及长期改土、促生和增产效果，研发了以脱硫石膏为主要原料的土壤改良剂和专用抛撒机械设备，从脱硫石膏中重金属含

本书根据教育部高等学校大学计算机课程教学指导委员会编制的《大学计算机基础课程教学基本要求》，按照大学计算机基础教学中培养计算思维能力的思路，以及计算机应用发展的新趋势和数字化项目建设的要求编写而成。内容共13章，分别是计算思维概述、计算机系统、数制和信息编码、操作系统基础与信息安全、办公软件Office2010、Pyt

本书是根据教育部高等学校大学计算机课程教学指导委员会编制的《大学计算机基础课程教学基本要求》，按照大学计算机基础教学中培养计算思维能力的思路，根据计算机应用发展的新趋势和数字化项目建设的要求编写而成。全书共13个单元实验，分别是计算机系统基础实验、Windows操作系统实验、文字处理软件Word2010实验、演示文稿P

全书由总论、各论及附件组成。总论包括西藏自然概况、中国科学院昆明动物研究所在西藏启动的考察研究概况(2010-2018)、西藏两栖爬行动物地理区划分析，以及青藏高原两栖爬行动物的适应与进化。各论以科内各属物种分子系统进化树为基础，确认了西藏分布物种的有效性和系统进化地位，在此框架下，记述了每个物种的信息，包括形态特征、

本书是依据2018—2022年教育部高等学校电工电子基础课程教学指导分委员会**修订的“电工学”课程教学基本要求而编写。全书共16章，主要内容包括电路基本概念和电路元件、电路的一般分析方法、正弦交流电路、三相交流电路、磁路与变压器、电动机、电气控制技术、供配电技术与安全用电、半导体器件、基本放大电路及其特性、集成运算放

本书提出和阐述集成地理元胞自动机（CA）、多智能体系统（MAS）和群智能（SI）的地理模拟系统（GeographicalSimulationSystem），以解决复杂的地理格局和过程模拟的问题。本书首先介绍地理模拟系统的基本概念和空间数据输入的基本方法；接着阐述将CA与GIS结合起来对复杂资源环境系统进行模拟的一般原理

本书阐述相变控温材料在土木工程应用中的基本理论与实际应用方法。本书第1章对建筑节能与相变控温材料特点做了简要的介绍。第2～4章阐述了相变控温材料在大体积混凝土温度裂缝控制中的应用：分析了非理想相变控温混凝土温度场特点，大体积混凝土中相变控温材料的优选，大体积混凝土相变控温体系的设计。第5章介绍相变控温大体积混凝土性能特

本书从航空产业自身角度解构支线航空在我国国家战略发展、交通运输体系和民航运输网络中的地位，描述目前全球和中国支线航空产业生态，探讨支线航空与干线航空的关系，分析支线航空的本质，从而界定支线航空产业的相关核心概念，剖析制约支线航空产业发展的因素，并提出未来产业发展的建议。

线性代数是研究线性空间和线性变换的理论,是处理线性问题的重要工具.本书是依据教育部颁发的教学大纲,参考大量国内外相关教材,并结合编委会成员多年来在线性代数教学中的实践经验编写而成.《BR》本书共六章,内容包括：矩阵、行列式、线性方程组、矩阵的特征值与特征向量、二次型、线性空间与线性变换.每节配有适量习题,每章配有复习题

“说走咱就走哇……天上的星星参北斗哇”，嘹亮的歌声响起，你是不是想来一场说走就走的旅行？带上北斗装备，无论白天还是黑夜，北斗都将在旅行中助你一臂之力。如今，北斗卫星导航系统已在全世界的舞台上大放光彩，服务全球、造福人类的愿景正逐步实现。那么，你了解北斗卫星导航系统的前世今生吗？你知道北斗系统的产生背景、发展历程、系统组

这是一本以漫画形式来展现深奥理论的科普书。本书以卡通人物形象为主人公，通过讲故事的形式串接内容，以多格漫画进行展现，带领大家走入神奇的人工智能世界。从印象篇、历史篇、概念篇、技术篇、应用篇、安全篇、未来篇、启示篇多维视角全方位地探索人工智能的神奇与奥妙。人工智能本质上是一个复杂、动态、关联、深奥的知识体系，是用数学方程

本书将带你走进神奇的拟态防御世界，了解拟态防御的基本理论、方法、运行机制，领略**进的内生安全技术，感受拟态防御对网络空间发展的影响。书中卡通人物讲述原理，多格漫画展现内容，在看故事的过程中学习知识，每读一个篇章，你对网络空间安全的认识就加深一步，对拟态防御的理解就更为深入。