一、邏輯學專業(yè)發(fā)展前景

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

二、邏輯學專業(yè)開設(shè)課程

數(shù)學分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、應(yīng)用邏輯、邏輯史、邏輯哲學、程序語言設(shè)計、操作系統(tǒng)等

三、邏輯學專業(yè)培養(yǎng)目標

培養(yǎng)目標：本專業(yè)培養(yǎng)具備系統(tǒng)的邏輯學基礎(chǔ)知識、一定的數(shù)學素養(yǎng)以及計算機理論和操作 能力，能在高等院校、科研單位、國家機關(guān)及企事業(yè)管理部門從事邏輯學的教學、科研和應(yīng)用方面 的工作，并能從事計算機科學和語言學的科研和應(yīng)用方面相關(guān)工作的邏輯學的高級專門人才。

培養(yǎng)要求：本專業(yè)學生主要學習邏輯學、數(shù)學、計算機科學和哲學方面的基本理論和基礎(chǔ)知 識，接受公理化方法、形式化方法和語義分析方面的基本訓練，具有專業(yè)研究的基本能力。

畢業(yè)生應(yīng)獲得以下幾方面的知識和能力：

1．掌握馬克思主義的基本原理和邏輯學的基本理論、基礎(chǔ)知識；

2．具有數(shù)學、計算機科學和哲學的基本素養(yǎng)；

3．掌握邏輯學研究的基本方法；

4．了解現(xiàn)代邏輯的前沿問題與發(fā)展動態(tài)；

5．掌握文獻檢索、資料查詢的基本方法和手段；

6．具有初步的教學、科研和實際工作能力。

主干學科：哲學、數(shù)學。

核心課程：數(shù)學分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導論、數(shù)理邏輯、集合論、模態(tài)邏 輯、歸納邏輯、四論導引（公理集合論、模型論、遞歸論、證明論）、應(yīng)用邏輯、邏輯史、邏輯哲學、程 序語言設(shè)計、操作系統(tǒng)等。

主要實踐性教學環(huán)節(jié)：教學實習、論文寫作等，一般安排6周左右。

修業(yè)年限：四年。

授予學位：哲學學士。