從基本邏輯、集合、關係等數學論證方法開始,延伸至布林代數與結構,以鞏固在資訊領域必要的基本數理知識;進而討論資料結構上的工具,如樹、圖,並討論此類結構相關演算法的基本概念。