现代逻辑与传统逻辑 【数理化】

现代归纳逻辑与概率逻辑 【数理化】

半符号逻辑 传统逻辑与符号逻辑的桥梁 【数理化】

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

学化学 就这么简单 轻松掌握元素周期表 【数理化】

还在为学化学苦恼吗？不要再死记硬背元素周期表啦！构成宇宙万物的原子大约有90种。不同的原子有不同的原子序号，它们按照族、周期等方式整齐地排列在元素周期表中。本书将元素周期表的基本概念、各元素的性质与...

简单微积分 学校未教过的超简易入门技巧 【数理化】

本书为微积分入门科普读物，书中以微积分的“思考方法”为核心，以生活例子通俗讲解了微积分的基本原理、公式推导以及实际应用意义，解答了微积分初学者遭遇的常见困惑。本书讲解循序渐进、生动亲切，没有烦琐计算...

非晶态物质-简单的及高分子的非晶态物体的物理-化学性质 【数理化】

新型量子逻辑 确定性逻辑的超越 【数理化】

逻辑斯谛 又称，“数理逻辑”的二值数学 【数理化】

好宝宝咕噜咕噜图画书数学故事 快乐小司机学习简单加减法 【数理化】

这是一套数学启蒙绘本故事。每册一个故事，讲述一个数学知识点。借助充满趣味的故事和精美丰富的图画，抽象的数学知识将会更容易被孩子理解。其中，《快乐小司机》这本通过小熊司机一路上不断地接送乘客的故事，帮...

数理逻辑基础 一阶逻辑与一阶理论 【数理化】

本书介绍数理逻辑的基础部分。