邏輯學(xué)在職研究生培養(yǎng)具備系統(tǒng)的邏輯學(xué)基礎(chǔ)知識(shí)，一定的數(shù)學(xué)素養(yǎng)以及計(jì)算機(jī)理論和操作能力,能在高等院校，科研單位，國(guó)家機(jī)關(guān)及企事業(yè)管理部門從事邏輯學(xué)的教學(xué)，科研和應(yīng)用方面的工作。邏輯學(xué)在職研究生并能從事計(jì)算機(jī)科學(xué)和語言學(xué)的科研和應(yīng)用方面相關(guān)工作的邏輯學(xué)高級(jí)專門人才.邏輯學(xué)專業(yè)主要以邏輯學(xué)為核心，橫跨多學(xué)科，培養(yǎng)文理交叉、理論與應(yīng)用相結(jié)合的復(fù)合型高級(jí)人才。邏輯學(xué)專業(yè)學(xué)生主要學(xué)習(xí)邏輯學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識(shí)，受到公理化方法、形式化方法和語義分析方面的基本訓(xùn)練，具有專業(yè)研究的基本能力。 ...