量子逻辑门与量子退相干

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

东西方矛盾观的形式演算 第2卷 正反数理逻辑概论

逻辑代数上的非概率测度

本书系统介绍EQ-代数与相关逻辑代数的基本理论及其不确定理论，主要是作者近年来研究工作的系统总结.全书共十一章，具体内容包括：EQ-代数及相关逻辑代数、EQ-代数上的滤子理论、EQ-代数上的拓扑理论、逻辑代数...

GMAT逻辑推理 分类思维训练及试题解析

本书对GMAT、GRE与LSAT逻辑推理题之间做了比较，详细讲解了GMAT逻辑推理题的考查内容及问题目的类型，出题原则及解题步骤。详细给出各类逻辑推理题的思维训练并给出GMAT考前逻辑推理冲刺训练试题及解析。...

GMAT官方指南阅读解析 图解逻辑法

本书汇集GMAT官方解析2015、2016、2017版的所有阅读题材，从具体内容来讲1.以Prep为蓝本，帮助考生了解“标准化考试”；2.对开排版，适应机考；3.在语境中背单词，扫除理解障碍；4.精选长难句，提升阅读理解能力；5.套路题型...

防策略投票理论的逻辑研究

本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来...

信息学、语言学、数学与逻辑一本通 上

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

应用逻辑 第2版

本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题（语法、语义、完备性和紧致性），但是书中大部分内容讨论的是其他主题...

两类“相对论”形式逻辑分析

本书主要涉及“相对论”数学基本问题的若干文章，与Maxwell的电磁场经典理论体系仍然崇尚“经验事实”基础，只因为理性认识和数学功能工具的历史局限性几乎必然隐含许多逻辑不当完全不同，两类“相对论”以及他...

几何原本 建立空间秩序最久远最权威的逻辑推演语系 13卷图释全本