主要課程：
數(shù)學(xué)分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計(jì)、邏輯導(dǎo)論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、四論導(dǎo)引(公理集合論、模型論、遞歸論、證明論)、應(yīng)用邏輯、邏輯史、邏輯哲學(xué)、程序語言設(shè)計(jì)、操作系統(tǒng)等。
邏輯學(xué)專業(yè)培養(yǎng)方向：
邏輯學(xué)專業(yè)要求學(xué)生學(xué)習(xí)邏輯學(xué)、哲學(xué)、計(jì)算機(jī)科學(xué)和數(shù)學(xué)等方面的基本理論和基礎(chǔ)知識，接受形式化方法、語義分析和公理化方法等方面的基本訓(xùn)練，具備專業(yè)研究的基本能力。
總的來說邏輯學(xué)專業(yè)是一門研究思維形式及思維規(guī)律的專業(yè)。邏輯(logic)，最初的涵義即規(guī)律，現(xiàn)在更多是指思維中的規(guī)律。這種規(guī)律主要是命題（或判斷）之間的推理及推導(dǎo)過程中的必然性，也稱為思維的邏輯規(guī)律。由于推理的重要性，邏輯學(xué)便以推理為研究中心，其主要目的就是找出推理規(guī)律。目前，邏輯學(xué)已形成為一個(gè)多層次多分支的龐大體系�，F(xiàn)代的邏輯學(xué)與數(shù)學(xué)有非常密切的關(guān)系，數(shù)理邏輯就是現(xiàn)代邏輯學(xué)的主流。
邏輯學(xué)專業(yè)就業(yè)前景：
畢業(yè)生既可以從事學(xué)術(shù)研究工作，也可以在很多實(shí)際應(yīng)用領(lǐng)域從事工作，主要到國家機(jī)關(guān)、新聞出版、科研單位、企事業(yè)管理部門和高等院校從事邏輯學(xué)的應(yīng)用、科研、管理與教學(xué)等方面的工作，以及從事計(jì)算機(jī)科學(xué)和語言學(xué)的科研與應(yīng)用等方面的工作。
作為研究思維規(guī)律的基礎(chǔ)學(xué)科，邏輯學(xué)正加強(qiáng)同各個(gè)學(xué)科的聯(lián)系，尋求自身發(fā)展的道路。邏輯學(xué)會(huì)更深地滲透到哲學(xué)、語言學(xué)、認(rèn)知科學(xué)、計(jì)算機(jī)科學(xué)、人工智能，以及法學(xué)、倫理學(xué)、經(jīng)濟(jì)學(xué)及管理科學(xué)等領(lǐng)域。邏輯理論研究與應(yīng)用研究的關(guān)系會(huì)更加密切，應(yīng)用邏輯理論與邏輯應(yīng)用的技術(shù)和方法的研究會(huì)成為邏輯學(xué)發(fā)展的新的動(dòng)力。國際范圍來看，目前較成熟的現(xiàn)代演繹邏輯取得了新的進(jìn)展。尤為引人注目的是哲學(xué)邏輯的研究成果顯著，其中的認(rèn)知邏輯已成為國際邏輯界研究的一個(gè)熱點(diǎn)。
本文來自：逍遙右腦記憶 http://www.yy-art.cn/zhuanye/jieshao/169738.html