临界的传递逻辑 模态逻辑的濒表格性问题探究

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...

现代数学基础丛书 数理逻辑基础 上

逻辑学基础

逻辑学基础

电子电气基础课程规划教材 数字逻辑电路基础 第2版

逻辑复习全书 基础篇 管理类、经济类专业硕士

当代哲学问题研读指针丛书 非形式逻辑思想渊源

20世纪50年代，逻辑学开始出现一种语用学转向。现在，在一定程度上可以说，非形式逻辑已经发展成为一门学科，它不但是逻辑学的一个重要分支，而且在相关学科表现出非常强的应用性。本书首先介绍非形式逻辑的兴起、定...

形式逻辑基础 第3版

本书是贵州大学本科段选修课教材，自2007年任课老师将讲义编辑出版以来，其反响较好。任课老师亦在不断讲学中有所改进增删。使本书更趋完善。其内容共十章，每章后有一定的习题，及国考等典型经典题目。...

数字逻辑电路基础

数字逻辑技术基础》一书是根据计算机专业、电类各专业的教学要求进行组织编写的。全书内容共分8章，主要内容有：数字逻辑基础，门电路，组合逻辑电路，触发器，时序逻辑电路，555定时器构成的脉冲产生与整形电路，存......

理解的认知基础与逻辑刻画

哲学史上对理解的研究源远流长，争论不休。本书把“理解”作为研究对象，分析其概念的基础，进而深入分析其认知基础，旨在说明理解活动在人脑中是如何进行的。本书运用认知逻辑的方法形式化“理解一个命题”，并作为...