量子逻辑门与量子退相干 【数理化】

量子信息是量子力学、信息科学和计算机科学结合成的新领域。本专著研究量子信息中量子逻辑门与量子退相干及其相关问题。每一章节均以专题进行探讨。主要内容包括：量子信息中的基本问题（量子计算的量子力学原...

数字王国 世界共通的语言 【数理化】

本书为数字技术方面的普通读物。

数字 神奇的含义 【数理化】

作者认为数字文化是传统文化的重要组成部分，据此分析了人们对数字的偏爱及厌恶的心理，并对数字文化现象提出了新的见解。

数学的历史、逻辑和基础资料选辑 非标准分析 2 【数理化】

信息学、语言学、数学与逻辑一本通 上 【数理化】

本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...

数字处理的数学原理和方法 【数理化】

数理逻辑引论与归结原理 【数理化】

本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

数学逻辑与集合论 【数理化】

丛书精选了香港、台湾与大陆三地人气室内设计师的海量最新家居案例，把这些代表当今设计界最高水平的作品按时下流行的风格分门别类进行编排，方便读者检索查找。丛书分为轻奢风范、简约美学、中式禅韵、乡村格...

从前有个数 故事中的数学逻辑 【数理化】

本书告诉读者，故事与数字并非想象的那么不同，事实上，它们之间有令人惊奇、引人入胜的联系。逻辑和概率的概念，都是从某些故事如何演变的直观想法中发展起来的。现在逻辑学家已经发明处理现实世界状况的方式，这是...

数理逻辑与集合论 【数理化】

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...