数理逻辑引论

本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经典逻辑纲要。

数理逻辑

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

数理逻辑

本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后......

范畴类型逻辑：从语言到逻辑

本书对范畴类型逻辑的发展、功能进行了全面的研究。

MBA联考逻辑与写作一本通关 逻辑部分

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

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

逻辑·思维·语言：上海逻辑30年

本书总结了上海市逻辑学界30年来的学术成果和历程，具有较重要的理论价值、历史价值和现实意义。具体内容为30年来的逻辑学学科的论文，30年来上海逻辑学界的发展和历程，及30年来学会的大事记。...

我对你错：从岩石逻辑到水的逻辑

本书作者原创了“水平思想”将西方传统的思维方式称为“岩石逻辑”。书中用大量的生活实例阐述了思考的技巧。

数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

MBA联考逻辑与写作一本通关 逻辑部分

本书紧密结合mba联考逻辑和写作考试大纲和2009年mba命题规律和要求，针对mba考生在逻辑和写作方面应试的薄弱性和备考需求，精选一定量例题和习题，严格按照考试难度和要求，以利考生需求。...