什么是数理逻辑呢？

比较科学的一种解释是这样的：数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

数理逻辑对学数学的帮助？

二者是相辅相成的，学习数学有助于更好地去理解数理逻辑，数理逻辑则是从更本质更深层次地去对数学进行分析，在一定基础上还是有所帮助的。

这是大学里面的一门专业课，那么什么专业需要学习这种知识呢？

数理逻辑属于逻辑学的内容，而逻辑学是哲学的八个二级学科之一，所以哲学专业应该学数理逻辑。其实数学就是很好的学习数理逻辑的一种方式，但应该逻辑学专业的更系统。

哲学作为大学的一门专业而言，我们国内将它分为八个方向，其中有一个方向是逻辑学，而数理逻辑是逻辑学中的一个部分。