本书在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外，本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。

《工科数学分析教程(下册)》是一本信息化研究型教材. 本书包括函数 序列与函数项级数、傅里叶级数与傅里叶变换、多变量函数的极限与连续、多元函数微分学、向量函数的微分学、常微分方程与数值解法初步、重积分、曲线积分与格林公式、曲面积分、含参变量积分. 本书体系严谨科学、内容由浅入深, 符合学生认知规律. 每章都有提高课, 内容包括离散傅里叶变换与快速傅里叶变换以及变换能力分析和应用实例、信号多分辨分析初步以及应用、多元函数极值问题数值求解、常微分方程与数学建模、向量函数微分学以及综合应用实例等一系列问题， 初步为学生打开现代数学的窗口. 同时每章都设置了系列探索类问题, 包括理论问题、应用问题, 培养学生应用数学解决实际问题的能力. 本教材有与之配套的MOOC课程,充分利用多媒体信息技术, 将复杂数学问题直观化, 图文

\" 《VI设计》通过对VI设计流程以及VI基础系统和应用系统设计进行分析和解读，探究VI设计的发展前景，明确其为现代企业经营战略的重要组成部分，并在激烈的市场竞争中成为完善企业形象 重要的课题之一。全面而系统的VI 设计是企业与消费者之间沟通的纽带， 是企业与企业相互较量的重要筹码。在基础理论教学、作品赏析以及课程作业三部分的整体框架下，作者通过跨学科的理论与方法和大量直观的经典案例引导读者提升对VI设计的认知水平和实践能力。 此书融理论性和实用性于一体，观点明确、体系完整、深入浅出，可执行性与实效性较高，适合作为为艺术院校与综合性大学艺术院系本科生的专业用书，也可作为高校教师、设计研究人员以及广大设计领域从业者的参考用书。\"

。。。

姜明安著的《行政诉讼法（第3版）》是我国《行政诉讼法》通过实施后， 早出版的研究该法基本原理的专著型教材之一。本书系统探讨和论述了在中国建立行政诉讼制度的必要性、必然性、可能性。本书对我国《行政诉讼法》制定过程中学术界、实务界争论的各种问题进行了较全面的概括和较深入的分析，并在此基础上提出了自己对这些问题的看法、观点。本书共研究、探讨了《行政诉讼法》制定过程中争论较多的14个问题。它们分别是：行政诉讼法的立法目的、调整范围、行政诉讼基本模式、受案范围、原告资格、审理依据、司法审查、复议前置、举证责任、司法变 、公开审判、调解、检察监督、裁判执行。本书关于行政诉讼是否可适用调解的分析结论，已为近年来各级 推行行政诉讼和解协调制度所采纳并实际作为该制度的法理根据。本书第三版根据 的理

本书从当代工程观点讲述了逻辑与计算机设计方面的内容，自出版以来已被 超过25万人使用。本书以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构， 加重视培养读者在计算机辅助设计、问题形式化、解决方案验证和问题解决技巧方面的能力。

动物传染病是对养殖业危害 严重的一类疾病，它给动物和人类都带来了极大的威胁。动物传染病防控技术是研究动物传染病的发生和发展规律，以及预防、控制和消灭动物传染病方法的科学。史秋梅、韩小虎、王书全主编的《动物传染病防控技术》包括总论、各论和技能训练三部分。总论共两章，主要介绍动物传染病的发生和发展规律，以及预防、控制和消灭动物传染病的一般性通用措施。各论按畜种类别分为5章，其中第三章为多种动物共患病，其他章为按动物类别分的传染病，主要介绍每种传染病的分布、病原、流行病学、发病机理、临床症状、病理变化、诊断和防控技术等。技能训练主要包括对常发的动物传染病的诊断技术等内容。本教材重视基本理论、基本知识和基本技能，突出科学性、系统性和实用性，及时地补充了新知识、新技术和新方法。在每章

《宏观经济学史：从凯恩斯到卢卡斯及其后》系统介绍了从凯恩斯《通论》到“卢卡斯革命”再到当今宏观经济学的思想发展历程，作者以简练且具有批判性的方式依次介绍了各个时期的重要模型——包括凯恩斯主义模型、货币主义模型、非瓦尔拉斯均衡模型、新兴古典宏观经济学模型、新凯恩斯主义模型、RBC模型、第二代新凯恩斯主义模型等。作者注重就各个学派之间的异同和联系进行剖析，强调方法论和思想性，辅之以重要经济学家自身的经济思想发展概述，并对宏观经济学的演化规律和未来发展方向提出了独到的见解，具有很高的学术价值。本书对宏观经济学思想的评述系统、深刻，具有启发性，有助于经济学相关专业的教师、学生及相关领域的研究者增进对宏观经济学的理解。

J.格伦·布鲁克希尔、丹尼斯·布里罗著的《计算机科学概论（ 2版英文版）》是计算机科学概论课程的经典教材，全书对计算机科学做了百科全书式的精彩阐述，充分展现了计算机科学的历史背景、发展历程和新的技术趋势。书中首先介绍的是信息编码及计算机体系结构的基本原理，进而介绍操作系统和组网以及因特网的相关内容，接着探讨算法、程序设计语言及软件工程，然后讨论数据抽象和数据库方面的问题，讲述图形学的主要应用以及人工智能， 以计算理论的介绍结束全书。本书在内容编排上由具体到抽象逐步推进，很适合教学安排，每一个主题自然而然地引导出下一个主题。此外，书中还包含大量的图、表和示例，有助于读者对知识的了解与把握。 2版的变化主要是将Python程序设计语言方面的介绍纳入了重点章节，除了增加与Python相关的内容，几乎每

灸疗又称灸法，是 古老的中医疗法之一，是历代医家和养生家 重视的治病方法和养生大法，是现代人调理亚健康、养生保健、延年益寿的好方法。本书根据前人的认识和经验，结合灸疗在保健养生方面的优势，以灸疗调理亚健康为中心介绍了相关的知识。周运峰、胡木明主编的《亚健康灸疗调理》分为总论和各论两部分，共9章。总论部分重点介绍了健康与亚健康的概念及相关知识，灸疗的相关知识及常用方法，灸疗对亚健康的作用及影响等；各论部分重点介绍了亚健康常见症状、常见体质、常见中医证候的灸疗调理，以及亚健康之特色灸疗和常用保健穴位灸。