数理逻辑
数理逻辑与集合论
ISBN：9787302045281...
数理逻辑引论与归结原理
ISBN：9787030115799《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。 ...
非经典数理逻辑与近似推理
ISBN：9787030085443《非经典数理逻辑与近似推理》大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋...
数理逻辑引论
ISBN：9787810077460...
数理逻辑
ISBN：9787810619684...
互逆主义数理逻辑
ISBN：9787504614315...
数理逻辑(离散数学第1分册)
ISBN：9787301034903...
数理逻辑
ISBN：9787115141453本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容...
数理逻辑引论与归结原理
ISBN：9787030165831《数理逻辑引论与归结原理》在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系...
数理逻辑的思想和方法
ISBN：9787310023738数理逻辑的思想和方法，ISBN：9787310023738，作者：李娜 ...
实物与暗物的数理逻辑
ISBN：9787030164223《实物与暗物的数理逻辑:信息时代的物理世界》简介：相对论和量子力学的历史功勋和未来的评述。量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的...
可计算性与数理逻辑
ISBN：9787505388284本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专...
数理逻辑与集合论
ISBN：9787302040422《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实...
数理逻辑基础
ISBN：9787300049427本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题...
数理逻辑
ISBN：9787302068105...
弗雷格逻辑哲学与现代数理逻辑思潮
ISBN：9787500458838作者以开阔的学术视野和娴熟的笔法，深入细致地梳理了弗雷格逻辑哲学思想和现代数理逻辑思潮，并深刻反思了现代数学基础问题、数学哲学问题和现代数理逻辑的哲学意义，为读者展示了一幅描绘20世纪波澜壮阔的数理...
数理逻辑通俗讲话
...
数理逻辑
ISBN：9787312002007...
数理逻辑
ISBN：9787115143112《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。 ...
几何与数理逻辑
ISBN：9787303084531《几何与数理逻辑》主要内容：“天体几何学初步研究”一文，并不是关于我们所在宇宙的几何研究，而是一种关于球的几何学。如文中所说“凡有南北极可分之球名日天体”，对于这些“天体”，文中还（仿照天文学）定义...
代数与数理逻辑/王世强文集
ISBN：9787303074945《王世强文集:代数与数理逻辑》内容包括：数理逻辑与代数、命题演算的一系公理（及补注）、一种逻辑电路演算的初步构作、格值模型论中紧致性定理的一种证法、格值模型论中的省略型定理、关于合同关系的可换性、实...
数理逻辑基础（上册）
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容. 这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同基础. ...
数理逻辑基础（下册）
...
数理逻辑与机器证明
ISBN：9787030019196本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. ...
面向计算机科学的数理逻辑系统建模与推理
ISBN：9787111213970本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发...
The elements of mathematical logic--数理逻辑原理(英文原版进口)
ISBN：9780486446172...
The elements of mathematical logic 数理逻辑 原理 英文 原版 进口
数理逻辑基础与粒计算
ISBN：9787030198280《数理逻辑基础与粒计算》由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相...
数理逻辑
ISBN：9787030200969《数理逻辑基本原理与形式演算》是信息科学与技术基础丛书之一。全书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与...
数理逻辑
ISBN：9787040137989《数理逻辑》是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容；对其中的自然推理系统做了详细介绍，对...
面向计算机科学的数理逻辑
ISBN：9787030096579《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统...
数理逻辑引论
ISBN：9787561140338《高等学校理工科数学类规划教材·数理逻辑引论》分为五章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造，第2章与第4章则主要是从形式系统的构造与展开的角度去分...
形式逻辑与数理逻辑比较研究
...
非经典数理逻辑与近似推理
ISBN：9787030212955《非经典数理逻辑与近似推理(第2版)》在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整...
数理逻辑初步
...
数理逻辑
ISBN：9787506292276《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to...
数理逻辑
ISBN：9787301112557本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。 ...
数理逻辑发展史：从莱布尼茨到哥德尔
ISBN：9787800503986第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的...
面向计算机科学的数理逻辑系统建模与推理
ISBN：9787111160533数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算...
数理逻辑引论与归结原理
ISBN：9787030228994Introduction to Mathematical Logic and Resolution Principle(数理逻辑引论与归结原理)在第一版的基础上进行修订再版，全书共9章，内容可分为B...
数理逻辑
...
数理逻辑
ISBN：9787810242769数理逻辑教材 ...
汤璪真文集-几何与数理逻辑
ISBN：9787303084500“天体几何学初步研究”一文，并不是关于我们所在宇宙的几何研究，而是一种关于球的几何学。如文中所说“凡有南北极可分之球名日天体”，对于这些“天体”，文中还（仿照天文学）定义了它们的轴、中心、赤道等名称...
数理逻辑原理
ISBN：9787600101795...
数理逻辑教程
ISBN：9787208037489数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。 ...
数理逻辑
ISBN：9787500485438《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完...
可计算性与数理逻辑
ISBN：9787121007798本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题...
数理逻辑引论
ISBN：9787301036587本书是著名数理逻辑哲学家王宪钧教授的代表作，共分三篇，前两篇“命题演算”和“狭谓词演算”，讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂，第三篇是关于数理逻辑发展的简史，作...