標題 內容 課程名稱 授課教師 學分數 上課時數 學習目標 進度安排與大綱 授課方式 評量方式 使用書籍或參考書籍

• Syllabus
• 09-21-2017: 課程介紹
• 09-28-2017: 命題邏輯
• 10-05-2017: 邏輯論證
• 10-12-2017: 証明
• 10-19-2017: 集合
• 10-26-2017: 集合操作
• 11-02-2017: 函數
• 11-09-2017: 數列
• 11-16-2017: 歸納証明法
• 11-23-2017: 期中評量
• 11-30-2017: 關係
• 12-07-2017: 等價關係
• 12-14-2017: 圖
• 12-21-2017: 圖類
• 12-28-2017: 圖與演算法
• 01-04-2018: FSM, Language, Computability
• 01-11-2018: 期末評量