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