逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提供了文献出处,又对结论的特性和价值进行了剖析,提供了针对性的数值算例.书中所列彩图均可扫描封底二维码进行查看.
本书力求通俗易懂、简洁实用,从问题到方法,从算例到应用,前后呼

大多数软件开发人员在复杂的代码上浪费了大量的时间。《整洁代码的艺术》提出的九大原则将教会您如何编写清晰、可维护且功能完备的代码。本书的指导原则很简单：缩减和简化，将精力投入到重要的工作上，省下大量的时间，卸下代码维护的重担。
热销书作者克里斯蒂安.迈尔在本书中利用他的经验帮助许多程序员完善他们的编码技能。他给出专业建议和真实例子，展示如何：利用80/20原则，专注于重要任务——最要紧的那20%代码；避免孤立编码，创建最小可行产品，获得早期反馈；编写整洁、简单的代码，排除混乱；避免

本书收录了十位20世纪后半叶的数学家, 他们每个人都在数学史上留下了自己的足迹。在美国成为数学研究中心的时代里, 他们是更加多元化的国际数学大家庭的成员, 构成了这个大家庭的横截面。在这个时期内, 很多长期以来开放性的问题得到了解决, 纯数学和应用数学得到了大发展, 新数学思想的引入使得主要技术进步成为可能。

激光诱导击穿光谱技术是近年来利用激光做激发源进行物质成分分析的研究热点，其技术广泛应用于能源、选矿、化工、分析等行业。本书详细介绍了自吸收免疫激光诱导击穿光谱的前沿理论及其应用技术， 为解决目前激光诱导击穿光谱击穿光谱在应用中的瓶颈问题提供了有益的理论基础和研究方法。

本书主要面向光学、电子信息技术和物理等相关领域的科研人员、学者、研究生与高年级本科生,亦可作为本领域科学研究的参考资料。

本书充满了幽默感, 讲述了物理学恼人的一面, 但它又是不可或缺的。朱迪特和马库斯·韦伯揭示了如何让物理学为我们服务, 解释了如何有效利用物理学的影响。

本书是一本简单的书, 也是一本复杂的书; 是一本遥远的书, 也是一本亲近的书。在书中, 作者为大家介绍了十位来自不同地区的数学先驱的生平事迹和他们的伟大成就。也许其中介绍的一些数学问题你并不了解, 也许里面的一些专业术语你并不熟悉, 但是这并不会妨碍你对他们伟大人格的理解, 也不妨碍你从他们身上了解到一些投身科学的精神。

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。本书是一本面向中学生的数学史普及读物, 它以公元14-19世纪十位伟大数学家的生平事迹及其数学贡献为主线, 贯穿以当时数学研究和生活时代的背景状况, 为我们勾勒出这一时期数学发展的概貌。

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。19世纪是数学发展承前启后的时期, 这一时期的数学家完善已知数学领域, 使之严密化; 提出众多革命性的思想和概念, 为继任者们开辟大量新“战场”。本书中描述的十位近代数学奠基者, 用他们的生平和探索向读者展示那个缤纷的时代和那些闪亮整个数学科学的思想火花。

本书是一本给年轻人的培养数学思维能力的科普书。数学无处不在! 即使你看不见它, 它也会隐藏在你身边。本书将带你一起寻找隐藏在日常生活角落里的趣味数学! 本书呈现了一系列古怪的问题: 为什么航空公司要超售机票; 足球比赛罚球规则中隐藏着哪些数学秘密; 如何推算一个人是不是在撒谎; 为什么二加二等于三; 如何计算田径比赛中赢的概率, 以及其他历史上未解决的数学难题。你将通过稀奇古怪的逻辑谜题与烧脑的游戏, 学习隐藏在生活中的数学智慧, 培养受益一生的数学思维能力。