算术基础——对于数这个概念的一种逻辑数学的研究

直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...

质疑与重构 逻辑基础新论

本书基于悖论问题的考究，引入“规域律”、“规述律”、“规演律”、“介”概念、属涵推理（兼容并严格区别于传统演绎推理）、“逻辑性”等相当部分新理念，对传统逻辑规律及逻辑取值等内容进行大幅度改进，形成完整...

数学的历史、逻辑和基础资料选辑 非标准分析 2

数字逻辑基础与VHDL设计 第3版

本书介绍了数字电路、组合逻辑电路、同步时序电路、异步时序电路，以及VHDL语言等内容，结合大量电路图和例题，深入浅出地介绍了数字逻辑设计的相关知识。...

世界著名计算机教材精选 逻辑设计基础 （第2版）

高等教育自学考试法律专业（专科）自学教材 4 法律逻辑基础

经典逻辑与非经典逻辑基础

本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论，命题演算和一阶谓词演算以及20世纪20年代至今发展起来的非经典逻辑的主要分支（模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑）。在本教材中，语...

三十年来的苏联数学 1917-1947 数学基础与数理逻辑

职业教育的历史逻辑和哲学基础

本书主要从以下四个方面展开论述：1．职业和教育、工作和财富等基本问题的历史哲学思考。2．职业教育的历史逻辑考察（主体部分）。3．基于历史逻辑的职业教育哲学基础分析（主体部分）。4．职业教育发展得未来趋势和......