邏輯學(xué)專業(yè)主要學(xué)習(xí)的課程為：數(shù)學(xué)分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計(jì)、邏輯導(dǎo)論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、應(yīng)用邏輯、邏輯史、邏輯哲學(xué)、程序語言設(shè)計(jì)、操作系統(tǒng)。

該專業(yè)學(xué)生主要學(xué)習(xí)邏輯學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識(shí)，受到公理化方法和予以分析方面的基本巡禮，具有專業(yè)研究的基本能力。補(bǔ)充材料：邏輯學(xué)是一個(gè)哲學(xué)分支學(xué)科，其是對(duì)思維規(guī)律的研究。邏輯和邏輯學(xué)的發(fā)展，經(jīng)過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統(tǒng)一的對(duì)稱邏輯三大階段。邏輯學(xué)是研究思維的學(xué)科，所有思維都有內(nèi)容和形式兩個(gè)方面。思維內(nèi)容是指思維所反映的對(duì)象及其屬性，思維形式是指用以反映對(duì)象及其屬性的不同方式，即表達(dá)思維內(nèi)容的不同方式。從邏輯學(xué)角度看，抽象思維的三種基本形式是概念，命題和推理。邏輯學(xué)研究的是邏輯真理和邏輯詞項(xiàng)，這些都是與推理命題的具體內(nèi)容無關(guān)的形式化的東西。從這個(gè)意義上講，邏輯學(xué)是研究形式的科學(xué)。然而，盡管邏輯真理是超乎于具體經(jīng)驗(yàn)的空洞真理，邏輯詞項(xiàng)描述的是抽取掉具體內(nèi)容的形式結(jié)構(gòu)，但它們?cè)谌藗兊恼J(rèn)識(shí)和思維活動(dòng)中，在科學(xué)理論知識(shí)的建構(gòu)中發(fā)揮著非常重要的作用。