逻辑学专业主要学习以下课程：

数学分析：

这是逻辑学专业的基础数学课程，涉及极限、连续、导数、积分等概念。

几何与代数：

包括几何学的基本概念和代数方程的解法。

数理逻辑：

研究形式逻辑的数学基础，包括命题逻辑、谓词逻辑和一阶逻辑等。

模态逻辑：

研究模态命题及其推理规则。

形式逻辑：

专注于推理形式的严格分析，使用形式化的语言来表示论证，并通过规则和公式来评估论证的有效性。

逻辑哲学：

探讨逻辑学在哲学中的应用和哲学问题。

概率论与理性决策：

研究概率论在决策过程中的应用。

逻辑史心理学：

研究逻辑学的发展历程及其对心理学的影响。

计算机和哲学：

探讨计算机科学和逻辑学的交叉领域。

高等代数：

深入研究代数结构及其性质。

抽象代数：

研究抽象的代数结构，如群、环、域等。

集合论：

研究集合及其运算性质。

归纳逻辑：

研究归纳推理的规则和原则。

四论导引：

涉及逻辑学中的四个主要分支（命题逻辑、谓词逻辑、集合论、递归论）的导引。

应用逻辑：

将逻辑学理论应用于实际问题的解决。

程序语言设计：

学习如何设计计算机程序的语言。

操作系统：

了解计算机操作系统的原理和功能。

此外，逻辑学专业还涉及思维科学、批判性思维的培养，以及如何在实际论证中避免谬误和错误的推理。通过这些课程的学习，学生能够培养严谨的思维能力、精密的推算能力和审慎的操作能力，为从事逻辑学的教学、科研和应用方面的工作，以及计算机科学和语言学的相关工作打下坚实的基础。