本課程是以學(xué)習(xí)初階邏輯 (First-order Logic) 為目標(biāo)。初階邏輯包括語(yǔ)句邏輯 (propositional logic) 和述詞邏輯 (predicate logic)，語(yǔ)句邏輯是以語(yǔ)句為單位所建構(gòu)的邏輯，而述詞邏輯是更深入地分析語(yǔ)句的結(jié)構(gòu)而建構(gòu)的邏輯。由于處理的對(duì)象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會(huì)有更強(qiáng)大的解釋力。在本課程中，教師將讓學(xué)生認(rèn)識(shí)到初階邏輯的語(yǔ)言、各種處理語(yǔ)言的系統(tǒng)及如何演算。