数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、
本书是与《大学文科数学（慕课版）》配套的学习指导书，是根据高等学校文科类专业数学基础课程的教学基本要求，结合编者多年的教学经验编写而成的.全书共5章，主要内容如下：函数、极限与连续，导数与微分，不定积分、定积分及其应用，线性代数初步，概率论初步.各章与配套教材严格对应，且各章均包含知识结构、重点与难点分析、典型例题与方
本教材以高职学生学习能力和特点为基础，以重点突出实用性、实践性的思路进行编写。教材内容包括光学分析模块的紫外可见分光光度法、红外吸收光谱法、原子吸收光谱法，电化学分析模块的电位分析法，色谱分析模块的气相色谱法、高效液相色谱分析法、离子色谱分析法、质谱分析法及质谱联用测定。每个任务分别设有练习题、随堂实验、综合实习相关
《共轭多羧酸类配位聚合物的合成、构建及应用》全书共6章内容，其中第1章为绪论，简要介绍配位聚合物的发展、合成、影响因素，概述了芳香性羧酸类配位聚合物的特点、设计、组装及应用；第2~6章则分别针对基于共轭多羧酸与第一过渡系金属离子构建金属链状配位聚合物、刚性含氮辅助配体调控3，3′，5，5′-联苯四羧酸配位聚合物、咪唑类
伟大的科学家狄拉克说过：“数学中的美，是一种无法付诸定义的特性，比艺术中的美具有更多的内涵，却难于为数学学习者领会。”《美妙的数学》（插图珍藏版）以数学实例揭示数学潜在的规律，同时探索用美学原理指导数学创造和发现的途径。全书分成数，形，曲线，抽象，无穷等专题板块，图文并茂。值得一提的是，书中配以200余幅插图、数十条资
手性是自然界的本质属性之一，而在化学、生物分子中也存在很多原子组成相同而空间构型呈镜面对称的手性异构体。人们已经发现生命活动与手性密切相关，对映异构体在生物、生理和药理活性等方面存在较大差异甚至可能具有完全相反的作用。近年来，人们发现在新型显示和隐形材料领域也呈现出手性异构现象。然而，对映异构体的物理化学性质非常相似，
本书主要介绍二维半导体物理的国际研究近况和本书作者最近的研究成果，着重在物理方面，内容包括二维半导体的结构、电子态、第一性原理计算方法、紧束缚方法、声子谱、光学性质、输运性质、缺陷态、磁性二维半导体、催化作用等。每一章开始先简单介绍三维半导体的有关性质和理论，读者可以比较三维和二维的差别和相同之处。
本书旨在介绍一些非线性演化流体方程的**结果，包括辐射流体方程、液晶方程解的整体适定性和吸引子的存在性。这本书的大部分材料都基于作者及其合作者近年来进行的研究。其中一些以前只在原始论文中发表，有些材料直到现在才发表。这本书有四章。在第一章中，我们回顾了Sobolev空间的一些基本性质，分析中的一些微分积分不等式，其中一
本书共10章，具体内容包括：绪论、预备数学基础、非线性方程求解、线性方程组的直接解法、线性方程组的迭代解法、插值法、曲线拟合和函数逼近、数值积分与微分、常微分方程的数值解法、矩阵特征值计算介绍.《BR》本书针对理工科研究生的需求和特点,写法上强调各类数值问题的底层逻辑;特别注重用生活中的常识对相关数学思想进行解释说明;
《基础化学实验》为泰山学院无机化学教研室编写的高等学校教材《无机化学》《无机及分析化学》的配套实验教材。全书分为六部分：基础化学实验的基本知识,仪器的使用基本实验操作,基本操作实验,化学原理及化学平衡实验,元素性质、制备及表征以及综合实验。实验内容与无机化学理论内容相辅相成，同时吸收最新的教学改革成果，引入微波实验、微
书单推荐
