學科:哲學
門類:哲學類
專業(yè)名稱:邏輯學
業(yè)務培養(yǎng)目標:本專業(yè)培養(yǎng)具備系統(tǒng)的邏輯學基礎知識,一定的數(shù)學素養(yǎng)以及計算機理論和操作能力,能在高等院校、科研單位、國家機關及企事業(yè)管理部門從事邏輯學的教學、科研和應用方面的工作,并能從事計算機科學和語言學的科研和應用方面相關工作的邏輯學高級專門人才。
業(yè)務培養(yǎng)要求:本專業(yè)學生主要學習邏輯學、數(shù)學、計算機科學和哲學方面的基本理論和基礎知識,受到公理化方法、形式化方法和語義分析方面的基本訓練,具有專業(yè)研究的基本能力。
畢業(yè)生應獲得以下幾方面的知識和能力:
1. 掌握馬克思主義的基本原理和邏輯學的基本理論、基礎知識;
2. 具有數(shù)學、計算機科學和哲學的基本素養(yǎng);
3. 掌握邏輯學研究的基本方法;
4.了解現(xiàn)代邏輯的前沿問題與發(fā)展動態(tài);
5. 掌握文獻檢索、資料查詢的基本方法和手段;
6. 具有初步的教學、科研和實際工作能力。
主干學科:哲學、數(shù)學
主要課程;數(shù)學分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、應用邏輯、邏輯史、邏輯哲學、程序語言設計、操作系統(tǒng)等。
主要實踐性教學環(huán)節(jié):包括教學實習、論文寫作等,-般安排6周左右。
修業(yè)年限:四年
授予學位:哲學學士
更多信息請查看學歷考試網(wǎng)