数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品（电路、程序和通信协议等）日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑／形式化方法课程教材，涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性（SAT）算法、紧致性理论和Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具。本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基—梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学、印度理工学院在内的多个国家几十所高校采纳为教材。

本书对科学史上诸位伟大数学家的生平、事业和成就树碑立传，用无限崇敬的文字，热情歌颂对真理执着追求的人们，热情歌颂对科学文化（数学是一种高尚的文化）无私奉献的人们，呈现他们清高的灵魂，顽强的意志和善真的美德，为每个想做好人做学问的人树立榜样；同时，用严谨而易懂的方式向读者论述相关数学成果的深刻概念、巧妙解法、广泛应用和盎然兴趣。本书的读者包括中学师生、大学师生和广大数学爱好者;是中学和大学数学史类课程的参考书，亦可供科学史工作者查阅。<

本书简明易懂，贴近读者，深受广大师生欢迎。 本书包含许多实例、问题、章末小结和适当的背景材料。书中首先介绍静电磁场和静磁场的基本概念，继而讲解麦克斯韦尔方程、电磁传播、电磁传输和电磁辐射。另外，还增加了关于有限元法和有限差分法的章节以及关于史密斯圆图的详细附录。可以通过访问www.cambridge.org/0521830168得到本书许多实例的MathCAD源码以及综合解决方案。

《传感技术与应用教程》根据21世纪高等院校课程教学大纲的要求，结合现代电子技术、计算机技术发展的最新趋势，作者总结多年的教学和科研经验，从实用角度出发，编写的一本独具特色的教材。全书共10章，分别介绍传感技术的作用、原理、结构特征以及使用方法，内容包括光电式传感器、数字式传感器、热电式传感器、电阻电感电容式传感器、霍尔传感器、生物传感器、超导传感器、智能传感器以及传感器的特性评价与信号处理等。每一种传感器都配有典型应用案例，以进一步加强学生对技术应用的理解；通过课后练习题，巩固所学知识，强化应用能力。《传感技术与应用教程》深入浅出，通俗易懂，是一本理论实践并重的实用教程，可用作高等院校电子信息、物理、仪器仪表、工业自动化、自动控制、机电一体化、计算机应用、生物医学、精密仪器测量与控制、汽车与机械类等专业的教材，也可以作为科研人员、工程技术人员及自学人员的参考用书。

《化工测试技术》重点介绍化工过程各类参数检测的原理，同时也针对化工科研中遇到的代表性问题介绍具体解决方案。全书分为十章，分别为测量的物理及数学基础、电学量的基本测量技术、温度及与之相关参数的检测、压力及与之相关参数的检测、浓度和含率及与之相关参数的检测、相变及与之相关参数的检测、位移及与之相关参数的检测、信号处理技术、抗干扰技术、化工测试系统的建立。《化工测试技术》可作为以化学工程学科为代表的过程工程类各专业的硕士生、博士生教材，也是测试技术类相关专业和过程工程专业科研人员、技术人员的参考书。

本书为《科学版研究生教学丛书》之一。本书介绍了计算机与计算机网络的一些基础知识以及如何利用Internet上的化学资源，并对化学信息学在化学、生物化学领域中的应用进行了详细论述。主要内容有计算机与Internet基础、联机文献检索、网络图书与网络杂志、数据库资源、化学信息资源查询、化学信息的计算机管理与应用、化学信息的计算机模拟、多元校正与因子分析、人工神经网络、遗传算法和模拟退火算法、小波分析、免疫算法等。本书可供化学、化工、生物化学、药物化学以及相关专业的广大科技工作者和高等院校师生参阅。

该字典是我国著名心理学家杨继本教授在总结前人研究成果的基础上，倾倨数十年心血主持研编的一部集教学与输入功能于一体的创新型字典。该字典将心理学原理和汉字认知心理学的实验研究成果应用于编纂中，具有高效率、高实用性和高速检索效能。独创的“边角画码查字与输入法”符合人识别汉字时的心理特征和心理活动规律，易学、易记、用，可使查字和输入确切、简捷。该字典适合各级各类学校师生在教学中使用，也可供普通民众使用，更是汉字认知心理学研究人员、汉字编码及输入法研究人员的衝砮，也是图书馆、资料室收藏和供读者查阅的实用工具书，亦可作为对外文化交流的礼品书。<

21世纪高等院校教材。本书旨在满足现代信息化社会条件下人们对各种信息资源的查询需求，在分析各种类型信息资源的基础上，重点介绍了针对不同文献源类型的检索工具及其使用方法。全书由绪论、基础知识篇、工具篇、应用篇四部分组成，结构合理，内容系统，注重实用。本书是一本工具指南型书籍，即可供普通读者查询信息时学习参考，也可作为信息专业人员推广信息资源的参考书，还可作为信息素质教育的教材。

本书以染整助剂在印染生产各工序中的应用为主线，介绍了各类染整助剂对印染生产或印染产品所起的作用，该助剂的主要组成（或结构）和应用进展情况，以及助剂应用性能的测试方法。在应用性能测试部分，除了对一些标准方法做了简要介绍外，还收集了大量简单易行的测试方法，供比较、评判染整助剂之间的优劣和工艺适用性试验时使用，以适应具有不同试验条件的各个层次的染整助剂生产者和应用者的试验需求。本书内容丰富、简明实用。可供从事染整助剂生产、产品开发、应用、试化验的种类技术人员阅读参考，亦可作高等及中等院校印染和相关专业师生的参考用书。

在求解电磁理论中各类边值问题时，并矢格林函数方法是一种有效的方法。作者系长期致力于天线理论、电磁理论的专家，书中详细介绍了在矩形波导、圆柱波导、自由空间中的圆柱体、完纯导电椭圆柱体、完纯导电劈和半片、球形边界、导电圆锥边界、平面分层媒质、非均匀媒质和运动媒质中利用格林函数求解边值问题的经验与方法。作者在书中采用的矢量分析的新算符，在世界上是首创。本书研究电磁理论中的并矢格林函数方法、基本理论及其在矩形、圆柱、圆球、圆锥等典型边界和平面分层媒质、不均匀媒质、运动媒质等电磁场问题的应用。