邏輯學(xué)是研究推理形式有效性的學(xué)科。它是構(gòu)造形式系統(tǒng)、表達知識、研發(fā)智能系統(tǒng)的必要工具。本專業(yè)以邏輯學(xué)為核心,橫跨多學(xué)科,學(xué)校:中山大學(xué)地址:廣東省廣州市新港西路135號中山大學(xué)大...