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