離散數學
Discrete Mathematics
| 節 | 週二 | 週五 |
|---|---|---|
3 10:10–11:00 | 離散數學 EDB27 2 節連堂 | |
4 11:10–12:00 | ||
7 15:30–16:20 | 離散數學 EDB27 |
* 根據陽明交大上課時間表所列
1] The course would involve the the discourse over the following subjects: * logic inference and proof; * operations on several discrete math. structures/spaces, and in each of which, associated properties and phenomenons will be observed/introduced; * general abstraction from the individual cases under discussion. 2] Through the training, hopefully the students would acquire the ability of mathematical reasoning when walking through the contexts of discourse; or better yet, being able to formulate a discrete space of one's own based on the need at hand.
none
none
HW] * assignments will be given intermittently in class sessions; * exercises will be given when the discourse over a subject is completed; [ for the purpose of self-practice and self-evaluation only] EXAM] * tentatively up to 7 written tests in plan [all open-book] GRADING] * solely determined by the results of written tests [ details to be announced in class session at due time]
| 週次 | 主題 |
|---|---|
| 第 1 週 | [1] Basics - Sets - Functions - Sequences and Series (Progressions) - Boolean Algebra [self-study] [2] Logic - Propositional Logic - 1st-Order Logic (Predicate Logic) - Inference Rules and Proof - Induction * math. proposition on I * math. proposition on recursive-F(I) * math. proposition on sets [1 test to come] |
| 第 3 週 | [3] Counting - Basics - Permutations and Combinations - Generalized Permutations and Combinations - More on Counting * generation of permutations and combinations * in the context of recursive formulation * the use of generating functions * the use of inclusion-exclusion [1 test to come] |
| 第 5 週 | [4] Relations - Binary-n and N-ary Relations * representations * properties * operations - Issues on Relations * closure * Equivalence [2 tests to go] |
| 第 8 週 | [5] Trees - Tree Traversal - Spanning Trees [1 or 2 tests to come] |
| 第 11 週 | [6] Graphs - Basics - Isomorphism - Connectivity - Issues on * Euler path * Hamilton path *map coloring *non-planner graph [2 tests to come] |
| 第 14 週 | [7] Rings and Groups - Rings *properties and operations - Semi-group *properties and operations - Groups * properties and operations [1 or 2 tests to come] |
| 第 17 週 | 1 or 2 tests to come |
Discrete Mathematics and its Applications, 8th edition from McGraw Hill (or equivalent) by Kenneth H. Rosen
- 地點
- EC416 Office
- 時間
- 0900-1000 Wed.
- 聯絡方式
- 1] via e3 course platform 2] by call at ext.54711 3] by e-mail to cclincclin@nycu.edu.tw