大学逻辑学专业主要学习的课程包括以下几个方面：

数学基础课程

数学分析

高等代数

抽象代数

概率统计

逻辑学专业课程

逻辑导论

数理逻辑

集合论

模态逻辑

归纳逻辑

四论导引（包括公理集合论、模型论、递归论、证明论）

应用逻辑

逻辑史

逻辑哲学

程序语言设计

操作系统

其他相关课程

形式逻辑

非形式逻辑

符号逻辑

辩证逻辑

实践性教学环节

教学实习

论文写作

通识类课程（部分院校）：

思想政治理论课程

信息技术课程

大学外语课程

公共体育课程

军事理论与实践课程

专业方向类课程（选修课程）：

人工智能中的逻辑

语言学逻辑

博弈论与决策逻辑

法律逻辑

这些课程设置旨在帮助学生掌握逻辑学的基本原理和方法，同时培养其在数学、计算机科学和哲学方面的综合素质和能力。具体课程可能会因不同院校的培养方向和专业特色有所差异。