逻辑学专业主要课程为：数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统。该专业主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识，受到公理化方法和予以分析方面的基本巡礼，具有专业研究的基本能力。

相关介绍

逻辑学是一个哲学分支学科，其是对思维规律的研究。逻辑和逻辑学的发展，经过了具象逻辑—抽象逻辑—具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。逻辑学是研究思维的学科，所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性，思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。逻辑学研究的是逻辑真理和逻辑词项，这些都是与推理命题的具体内容无关的形式化的东西。从这个意义上讲，逻辑学是研究形式的科学。然而，尽管逻辑真理是超乎于具体经验的空洞真理，逻辑词项描述的是抽取掉具体内容的形式结构，但它们在人们的认识和思维活动中，在科学理论知识的建构中发挥着非常重要的作用。