關(guān)于邏輯學(xué)專(zhuān)業(yè)最新介紹
2019-04-09 21:17:20網(wǎng)絡(luò )資源
邏輯學(xué)
業(yè)務(wù)培養目標：本專(zhuān)業(yè)培養具備系統的邏輯學(xué)基礎知識，一定的數學(xué)素養以及計算機理論和操作能力，能在高等院校、科研單位、國家機關(guān)及企事業(yè)管理部門(mén)從事邏輯學(xué)的教學(xué)、科研和應用方面的工作，并能從事計算機科學(xué)和語(yǔ)言學(xué)的科研和應用方面相關(guān)工作的邏輯學(xué)的高級專(zhuān)門(mén)人才。
業(yè)務(wù)培養要求：本專(zhuān)業(yè)學(xué)生主要學(xué)習邏輯學(xué)、數學(xué)、計算機科學(xué)和哲學(xué)方面的基本理論和基礎知識，受到公理化方法、形式化方法和語(yǔ)義分析方面的基本訓練，具有專(zhuān)業(yè)研究的基本能力。
畢業(yè)生應獲得以下幾方面的知識和能力：
1.掌握馬克思主義的基本原理和邏輯學(xué)的基本理論、基礎知識;
2.具有數學(xué)、計算機科學(xué)和哲學(xué)的基本素養;
3.掌握邏輯學(xué)研究的基本方法;
4.了解現代邏輯的前沿問(wèn)題與發(fā)展動(dòng)態(tài);
5.掌握文獻檢索、資料查詢(xún)的基本方法和手段;
6.具有初步的教學(xué)、科研和實(shí)際工作能力。
主干學(xué)科：哲學(xué)、數學(xué)
主要課程：數學(xué)分析、高等代數、抽象代數、概率統計、邏輯導論、數理邏輯、集合論、模態(tài)邏輯、歸納邏輯、四論導引(公理集合論、模型論、遞歸論、證明論)、應用邏輯、邏輯史、邏輯哲學(xué)、程序語(yǔ)言設計、操作系統等
主要實(shí)踐性教學(xué)環(huán)節：包括教學(xué)實(shí)習、論文寫(xiě)作等，一般安排6周左右。
修業(yè)年限：四年
授予學(xué)位：哲學(xué)學(xué)士
相近專(zhuān)業(yè)：哲學(xué)、數學(xué)與應用數學(xué)
【本專(zhuān)業(yè)為國家控制布點(diǎn)的專(zhuān)業(yè)】
開(kāi)設院校：北京大學(xué)南開(kāi)大學(xué)中山大學(xué)
