数理逻辑学是一门研究逻辑推理和数学证明的学科，它结合了逻辑学的原理和数学的方法。以下是几个主要学习数理逻辑的专业：

哲学专业：

逻辑学是哲学的一个分支，哲学专业的学生通常会学习数理逻辑作为基础课程之一，以帮助他们理解和分析哲学问题和论证。

数学专业：

数学专业的学生在学习过程中会接触到数理逻辑学，因为它是数学的一个分支，使用逻辑原理来研究数学证明和数学概念的性质。

计算机科学专业：

计算机科学专业需要严谨的思维和分析能力，因此会涉及到数理逻辑学的学习。尤其是在算法设计、程序验证和形式化方法等方面，数理逻辑学发挥着重要作用。

应用数学专业：

应用数学专业的学生也会学习数理逻辑，因为数理逻辑在数学的许多分支中都有应用。

计算数学专业：

虽然计算数学专业已经改称为信息与计算科学专业，但计算数学专业的学生仍然会锻炼数理逻辑思维，尽管不会专门学习数理逻辑这门课程。

物理专业：

物理学中的许多理论和实验方法都需要严谨的逻辑推理，因此物理专业的学生也会涉及到数理逻辑的学习。

语言学专业：

语言学中的许多分支，如形式语言与自动机理论，也需要数理逻辑的知识。

学习数理逻辑的专业主要包括哲学、计算机科学与技术、数学、应用数学、计算数学、物理和语言学等。