中國高考報考第一人薛立新教授：專業(yè)精析之邏輯學(xué)專業(yè)
010102 邏輯學(xué)專業(yè)
授予學(xué)位： 哲學(xué)學(xué)士
修業(yè)年限： 四年
邏輯學(xué)是一門研究思維形式及思維規(guī)律的專業(yè)懊昨。邏輯若厚， 最初的含義即規(guī)律孙援， 現(xiàn)在更多是指思維中的規(guī)律颜阐。目前跪解，邏輯學(xué)已形成一個多層次、多分支的龐大體系】蓿現(xiàn)代的邏輯學(xué)與數(shù)學(xué)有非常密切的關(guān)系框仔，數(shù)理邏輯就是現(xiàn)代邏輯的主流。該專業(yè)主要學(xué)習(xí)邏輯學(xué)拄养、數(shù)學(xué)离斩、計算機科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識，受到公理化方法瘪匿、形式化方法和語義分析方面的基本訓(xùn)練跛梗，具有專業(yè)研究的基本能力。
培養(yǎng)目標(biāo)
本專業(yè)培養(yǎng)具備系統(tǒng)的邏輯學(xué)基礎(chǔ)知識棋弥，一定的數(shù)學(xué)素養(yǎng)以及計算機理論和操作能力核偿，能在高等院校、科研單位顽染、國家機關(guān)及企事業(yè)掛了能力部門從事邏輯學(xué)的教學(xué)漾岳、科研和應(yīng)用方面的工作，并能從事計算機科學(xué)和語言學(xué)的科研和應(yīng)用方面相關(guān)工作的邏輯學(xué)高級專門人才粉寞。
培養(yǎng)要求
本專業(yè)主要學(xué)習(xí)邏輯學(xué)尼荆、數(shù)學(xué)、計算機科學(xué)和哲學(xué)方面的基本理論和基礎(chǔ)知識唧垦，受到公理化方法捅儒、形式化方法和語義分析方面的基本訓(xùn)練，具有專業(yè)研究的基本能力振亮。
主干學(xué)科
哲學(xué)巧还、數(shù)學(xué)
主要課程
數(shù)學(xué)分析、高等代數(shù)坊秸、抽象代數(shù)麸祷、概率統(tǒng)計、邏輯導(dǎo)論褒搔、數(shù)理邏輯阶牍、集合論、模態(tài)邏輯站超、歸納邏輯荸恕、應(yīng)用邏輯、邏輯史死相、邏輯哲學(xué)融求、中國邏輯史、西方邏輯史算撮、現(xiàn)代邏輯思想史生宛、程序語言設(shè)計县昂、操作系統(tǒng)等。
主要是實踐性教學(xué)主要包括教學(xué)實習(xí)陷舅、論文寫作等倒彰， 一般安排6周左右。
畢業(yè)生能力要求
掌握馬克思主義的基本原理和邏輯學(xué)的基本理論莱睁、基礎(chǔ)知識待讳；
具有數(shù)學(xué)、計算機科學(xué)和哲學(xué)的基本素養(yǎng)仰剿；
掌握邏輯學(xué)研究的基本方法创淡；
了解現(xiàn)代邏輯學(xué)的前沿問題與發(fā)展動態(tài)；
掌握文獻檢索南吮、資料查詢的基本方法和手段琳彩；
具有初步的教學(xué)、科研和實際工作能力部凑。
就業(yè)分析
能在高等院校露乏、科研單位、國家機關(guān)及企事業(yè)管理部門從事管理涂邀、教學(xué)瘟仿、科研和應(yīng)用方面的工作，并能從事計算機科學(xué)和語言學(xué)的科研和語言學(xué)等方面的相關(guān)工作必孤。但邏輯學(xué)專業(yè)過于冷門猾骡，如果考慮就業(yè)，不如學(xué)習(xí)別的專業(yè)敷搪，相對來說，非名校的邏輯學(xué)專業(yè)就業(yè)難度很大幢哨。
頂尖院校
北京大學(xué)赡勘、中山大學(xué)、南開大學(xué)
