專業(yè)介紹

　　邏輯學(xué)專業(yè)學(xué)生主要學(xué)習(xí)邏輯學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識(shí)，受到公理化方法、形式化方法和語義分析方面的基本訓(xùn)練，具有專業(yè)研究的基本能力。

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

　　邏輯學(xué)在職研究生應(yīng)把握現(xiàn)代邏輯的基本理論與辦法， 具備使用外文文獻(xiàn)進(jìn)行專業(yè)研討的才能， 了解本專業(yè)的學(xué)術(shù)研討動(dòng)態(tài)， 具有獨(dú)立展開邏輯學(xué)教育和研討工作的才能， 學(xué)位論文要有必定的研討深度、學(xué)術(shù)水準(zhǔn)與新意。

　　邏輯學(xué)在職研究生畢業(yè)后可在高等院校、科研單位、國(guó)家機(jī)關(guān)及企事業(yè)管理部門從事邏輯學(xué)的教學(xué)、科研和應(yīng)用方面的工作，并能從事計(jì)算機(jī)科學(xué)和語言學(xué)的科研和應(yīng)用方面相關(guān)工作。