本課程之目的在讓學生暸解資訊邏輯的理論, 邏輯包含了所有科學的基本觀念與原理，也是最為基礎的思維訓練。本課程首先介紹邏輯及其重要性，並從語句邏輯進行系統性授課，包括基本概念、真值表推論、以及公理系法，幫助我們了解含量詞的數學敘述的含意，提昇邏輯思維能力，祈能將各種技巧運用在日常推理上。