主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
本书译自张树霖教授应Wiley出版社邀请撰写并在2012年出版的《RamanSpectroscopyandItsApplicationinNanostructures》一书。随着对纳米结构的研究热潮,拉曼仪器成为当今流行的实验仪器被广泛使用。许多非拉曼光谱学领域的学者转到拉曼光谱研究,也使原先拉曼光谱领域的许多学者也加
《水质化验实用手册》重点关注项目检测标准中未提及的操作要点,以便让实验人员快速掌握实验难点。可以作为日常化验工作的参考,也可以作为新员工培训手册。《水质化验实用手册》收录了三章,包括实验基础知识、基础操作和项目操作。
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德
本书是\"人工智能出版工程”系列图书之一。模式识别是人工智能的重要组成部分,本书简要介绍了模式识别的基本概念,以模式表示为切入点,针对近20年来模式识别领域研究的热点问题,系统阐述了线性子空间表示、非线性子空间表示、流形学习、稀疏表示、低秩模型、深度学习等方面的研究进展和相关代表性方法。本书可供高等院校人工智能、智能科
为什么甚至受过良好教育的人,仍然对数学了解得那么少?数盲的代价是什么?1998年,约翰·艾伦·保罗士在他的畅销书出版时声称:没有能力来合适地处理大量数据和概率问题,导致我们误传政府的政策,扰乱个人的决定,增加对形形色色伪科学的感染。《数盲——数学无知者眼中的迷惘世界》让我们知道:我们忽视了什
在《巧合》一书中,数学家约瑟夫·马祖尔带领我们走进貌似不可能发生的事件,风趣幽默地向我们解释了生活中的惊喜瞬间。他结合大千世界中离奇而真实的巧合故事,向我们阐释了概率的概念。你觉得你们班上有同学与你同一天生日的可能性大吗?如何让陪审团相信凶案现场找到的DNA并不能证明该DNA的主人曾出现在案发现场?……正
《水溶性纤维素醚的合成与应用》共分七章,主要内容包括:1.绪论,对混凝土减水剂的历史沿革进行了综述,并根据对纤维素的改性方法、应用领域等进行了概括;2.原料与方法:针对合成纤维素醚的原料、表征手段进行了说明;3.水溶性纤维素醚的合成4.水溶性纤维素醚在水泥净浆中的应用5.饱和产量的确定6.在砂浆和混凝土中的应用;7.展
《结构力学2专题教程<第4版>同步辅导及习题全解》共有8章,分别介绍矩阵位移法一结构矩阵分析基础、结构动力计算基础、能量原理、结构矩阵分析续论、结构动力计算续论、结构的稳定计算、结构的极限荷载、结构力学与方法论。《结构力学2专题教程<第4版>同步辅导及习题全解》各章(除第18章)均包括本章知识要点概述、知识点归纳、课后
“概率论与数理统计”是研究和揭示随机现象统计规律性的科学,在自然科学、社会科学、工程技术、工农业生产及日常生活等领域有着广泛的应用,是高等学校理、工、经、管类本科各专业的一门重要的基础理论课程,也是绝大多数专业在本科阶段开设的W一一门研究随机现象的课程。本书共分两部分:第一部分(第1章至第5章)为概率论部分,主要介绍概