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

哲学专业：

逻辑学是哲学的二级学科之一，哲学专业的学生通常会学习形式逻辑、非形式逻辑以及符号逻辑等课程，这些课程会涉及到数理逻辑学的知识。

数学专业：

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

应用数学专业：

虽然应用数学专业可能不会专门开设数理逻辑这门课程，但在学习过程中会锻炼学生的数理逻辑思维能力。

计算数学专业：

计算数学专业已经改称为信息与计算科学专业，该专业的学生也会学习数理逻辑相关的知识，尤其是在离散数学等课程中。

计算机科学与技术专业：

计算机科学专业的学生需要学习数理逻辑，因为它在算法设计、程序验证、人工智能、软件工程等领域有重要应用。

自动化专业：

自动化专业的学生可能会学习数理逻辑，尤其是在控制理论、系统建模和优化等领域。

物理专业：

物理学专业的学生在学习基础物理和高级物理时，也会接触到逻辑学的概念，尤其是在理论物理和量子力学等领域。

语言学：

语言学与逻辑密切相关，汉语言专业的学生有时会学习形式逻辑。

综上所述，学习数理逻辑的专业主要包括哲学、数学、应用数学、计算数学、计算机科学与技术、自动化、物理和语言学等。