Introduction to Discrete Mathematics for Computer Science Specialization | Mathematical Thinking in Computer Science

离散数学，记录
Offered by University of California San Diego

1 Mathematical Thinking in Computer Science

Week1 Making Convincing Argument

简单证明存在的话举一个例子就好了，但是在数学上证明的话需要完备的逻辑！
Tensegrity https://en.wikipedia.org/wiki/Tensegrity

Week2 How to Find an Example?

How to Find an Example

Magic Squares https://en.wikipedia.org/wiki/Magic_square
Multiplication Magic Square https://mathworld.wolfram.com/MultiplicationMagicSquare.html

Optimality(n.最优)

Week3

Recursion(递归)

• base case
• Hanoi Tower

Induction(归纳)

Four color theorem https://en.wikipedia.org/wiki/Four_color_theorem

Cumpter Search

Week4

• Pigeonhole Principle
  

Week5

---

OK, 还有些Optional Honors Content等读研再学习