邏輯學專業簡介

 　　學科：哲學

　　門類：哲學類

　　專業名稱：邏輯學

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

　　業務培養要求：本專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識，受到公理化方法、形式化方法和語義分析方面的基本訓練，具有專業研究的基本能力。

　　畢業生應獲得以下幾方面的知識和能力：

　　1. 掌握馬克思主義的基本原理和邏輯學的基本理論、基礎知識;

　　2. 具有數學、計算機科學和哲學的基本素養;

　　3. 掌握邏輯學研究的基本方法;

　　4.了解現代邏輯的前沿問題與發展動態;

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

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

　　主干學科：哲學、數學

　　主要課程;數學分析、高等代數、抽象代數、概率統計、邏輯導論、數理邏輯、集合論、模態邏輯、歸納邏輯、應用邏輯、邏輯史、邏輯哲學、程序語言設計、操作系統等。

　　主要實踐性教學環節：包括教學實習、論文寫作等，-般安排6周左右。

　　修業年限：四年

　　授予學位：哲學學士