離散數學關鍵用語 1-3 章
1. discrete mathematics (離散數學) 2. set (集合)
3. mathematical induction (數學歸納法) 4. propositional logic (命題邏輯) 5. equivalence (同義,等價) 6. formula (語式)
7. tautology (恆真語式) 8. predicate (述詞) 9. quantification (定量)
10. disjunctive normal form- DNF (離接一般式) 11. conjunctive normal form- CNF (連結一般式) 12. binary relation (二元關係)
13. equivalence relation (等價關係)
14. partial ordering relation (部分有序關係) 15. total ordering relation (完全有序關係) 16. reflective (反射性的)
17. symmetric (對稱的) 18. transitive (遞移性的)