大学逻辑学专业主要学习的课程包括：

数学分析：

作为逻辑学的基础数学课程，帮助学生掌握数学的基本理论和方法。

几何与代数：

涉及几何学和代数学的基础知识，为后续的逻辑学学习提供必要的数学工具。

数理逻辑：

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

模态逻辑：

研究模态命题及其推理规则，是逻辑学的一个重要分支。

形式逻辑：

研究形式化的逻辑系统，包括命题逻辑、谓词逻辑、集合论和模型论等。

逻辑哲学：

探讨逻辑学在哲学中的应用和哲学问题，如真理、意义和逻辑的性质等。

概率论与理性决策：

研究概率论在逻辑推理和决策中的应用。

逻辑史心理学：

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

计算机和哲学：

探讨计算机科学和逻辑学的交叉领域，如计算逻辑和人工智能中的逻辑问题。

高等代数：

深入研究代数学的高级概念，如矩阵、向量空间和群论等。

抽象代数：

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

概率统计：

研究随机现象及其概率分布，为逻辑学中的推理和决策提供数学基础。

逻辑导论：

介绍逻辑学的基本原理和方法，是逻辑学专业的基础课程。

集合论：

研究集合及其运算，是数理逻辑和数学分析的重要组成部分。

归纳逻辑：

研究归纳推理的规则和逻辑，是逻辑学的一个重要领域。

应用逻辑：

探讨逻辑学在各个领域中的应用，如法律、计算机科学和语言学等。

逻辑史：

研究逻辑学的历史发展，了解逻辑学的起源和演变。

程序语言设计：

学习计算机科学中的编程语言设计原理和方法。

操作系统：

研究计算机操作系统的原理和设计，涉及计算机科学的基础知识和实践技能。

此外，逻辑学专业还注重培养学生的理论思维能力、社会活动能力、表达能力和专业研究的基本能力，使其能够在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作，并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才。