大学物理学要义与释疑 第2版 上

应用逻辑 第2版

本书是一本介绍数理逻辑的基础教材。

数理逻辑 第2版

本书是数理逻辑课程的经典教材。

数理逻辑 第2版 英文版

本书是数理逻辑课程的教材。

应用逻辑 第2版

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

数理逻辑 基本原理与形式演算 第2版

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

非经典数理逻辑与近似推理 第2版

本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学...

数理逻辑与集合论 第2版 精要与题解

本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习指导，包括主教材中的基本概念、基本公式、定义.....

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下