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

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

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

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

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

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

应用逻辑 第2版

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

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

数理逻辑引论与归结原理

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

数学逻辑与集合论

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

数理逻辑与集合论

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

最大似然估计法 逻辑与实践

《最大似然估计法：逻辑与实践》是“格致方法·定量研究系列”丛书之一。本书是最大似然估计法的入门级读物。作者斯科特·伊莱亚森介绍了除正态分布之外的其他重要连续分布，并进一步讨论了不同的最大似然统计...

多值逻辑理论及应用研究 罗铸楷教授文集

本书稿为罗铸楷教授多年来所著的“多值逻辑理论及应用研究”方面的论文，共分为四个部分：一、多值逻辑的完备性理论；二、部分多值逻辑的完备性理论；三、一元多值逻辑函数的完备性理论；四、多值逻辑的应用。...