数理逻辑主要学习的专业包括：

哲学专业：

逻辑学是哲学的八个二级学科之一，因此哲学专业的学生需要学习数理逻辑。

数学专业：

数学专业不仅锻炼学生的数理逻辑思维，而且通过系统的课程学习，学生能够更深入地掌握数理逻辑。

计算机专业：

计算机专业与数理逻辑密切相关，许多课程如算法设计、程序开发等都涉及数理逻辑的应用，因此计算机专业的学生需要学习数理逻辑。

信息与计算科学专业 （原计算数学专业）：虽然该专业不再专门开设数理逻辑课程，但其课程和训练有助于学生锻炼这方面的思维。

人工智能专业：

人工智能技术对数学和逻辑思维能力有较高要求，因此数理逻辑性强的学生适合选择人工智能专业。

信息安全专业：

随着互联网的发展，信息安全变得越来越重要，该专业也需要学生具备一定的数理逻辑能力。

建议对数理逻辑有浓厚兴趣的学生，可以根据自己的职业规划和兴趣选择上述专业进行深入学习。