DISCRETE MATHEMATICS

離散數學，
一關一關點亮。

給完全沒學過的人：每一節分成好幾關，先看生活裡的例子，再動手操作、做題目。做完一關，那一關的燈就會亮。

第 1 章

計數Fundamental Principles of Counting

數「有幾種可能」：加法與乘法原理、排列、組合，以及可以重複的選法。

  1. 1.1 加法與乘法原理什麼時候相加、什麼時候相乘 7 關
  2. 1.2 排列排成一列、相鄰、重複的字母、圍成一圈 10 關
  3. 1.3 組合與二項式定理不管順序的選法、至少幾個、二項式定理 12 關
  4. 1.4 可重複的組合可以重複的選法：星星和棒子、整數解 11 關
  5. 1.5 Catalan 數選讀不越線的路線、括號、找零：同一串數 7 關

第 2 章

邏輯Fundamentals of Logic

命題、truth table、邏輯定律，以及怎麼從前提一步一步推出結論。

  1. 2.1 邏輯開關命題、connective 與 truth table 9 關
  2. 2.2 邏輯定律邏輯等價與邏輯定律 12 關
  3. 2.3 推論規則推論規則、證明與反例 12 關
  4. 2.4 量詞∀、∃：真假、反例、翻譯與否定 11 關
  5. 2.5 定義與證明定義、量詞的推論與四種證明方法 12 關