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