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