反证与构造

反证法是"先假设结论不成立，推出矛盾，从而说明结论必须成立"。构造法则相反，是"亲手造出一个例子"来证明"某种东西确实存在"。这一站你走完了逻辑、集合、关系、函数、归纳、图论、进制的地基——它们正是整个计算机科学的数学根基。