实用数学逻辑

机器学习必须学习数学知识，直接是适合程序员和机器学习初学者的数学第一部分，逻辑数学。

这是一部多功能的数学工具书，既是一本完备实用的数学手册，同时又是了解数学科学及其应用的入门概览。

实用数学手册,中文课本,非常清晰,适合自学,..............................................................................

详细介绍了数理逻辑与集合论的相关知识，是一个很好的参考资料，能够培养个人的逻辑意识，使自己的思想更具有逻辑条理性

本教材讲解计算机算法基础知识和数学逻辑，详细介绍常见数据结构和它们的应用，以及常见算法的原理和实现方法，包括递归算法、排序算法、查找算法等。针对每种算法，本教材均给出相应的实例代码和应用场景。

推门经典数学逻辑问题.chm

离散数学逻辑推理判断系统.

本软件可以帮助数学老师完成复杂的计算、绘制图像等。

这是一个改进版的Math单元，新增了许多浮点常量，如MaxExtended，Sqrt2……还新增了许多函数，广泛用于浮点科学计算

数理逻辑中离散有关内容~包括基本的真假概念，及与或非操作等