概述

本文将依照金小刚老师授课以及教材等材料进行整理.

课程信息

分数构成：（可申请免听）

  1. 10% 作业
  2. 20% 小测
  3. 70% 期末

课程大纲：

  1. Sets and Relations
  2. Mathematical Logic
  3. Counting
  4. Graphs and Trees
  5. Algebraic System
  6. Formal Language and Autom