數(shù)學分析、高等代數(shù)、抽象代數(shù)、概率統(tǒng)計、邏輯導論、數(shù)理邏輯、集合論、模態(tài)邏輯、歸納邏輯、應用邏輯、邏輯史、邏輯哲學、中國邏輯史、西方邏輯史、現(xiàn)代邏輯思想史、程序語言設計、操作系統(tǒng)等。
邏輯學是研究推理形式有效性的學科。它是構造形式系統(tǒng)、表達知識、研發(fā)智能系統(tǒng)的必要工具。本專業(yè)以邏輯學為核心，橫跨多學科，學校：中山大學地址：廣東省廣州市新港西路135號中山大學大...
