| 課程大綱 Syllabus |
學生學習目標 Learning Objectives |
單元學習活動 Learning Activities |
學習成效評量 Evaluation |
備註 Notes |
序 No. | 單元主題 Unit topic |
內容綱要 Content summary |
| 1 | Logic and Proofs |
Propositional logic
Predicates and quantifiers
Proof methods and strategy |
Basci Logic understanding |
|
|
|
| 2 | Set |
Set
Functions |
Set operation |
|
|
|
| 3 | Logic |
proposition, quantifier, predicate |
learn first-order logic |
|
|
|
| 4 | functions |
functions |
functions |
|
|
|
| 5 | mathematical induction |
mathematical induction |
mathematical induction |
|
|
|
| 6 | counting |
counting |
counting |
|
|
|
| 7 | permutation & combination |
permutation & combination |
permutation & combination |
|
|
|
| 8 | pigeonhole |
pigeonhole |
pigeonhole |
|
|
|
| 9 | Midterm and programming exam |
Midterm and programming exam |
Midterm and programming exam |
|
|
|
| 10 | binomial coefficient |
binomial coefficient |
binomial coefficient |
|
|
|
| 11 | generalized permutation and combination |
generalized permutation and combination |
generalized permutation and combination |
|
|
|
| 12 | Discrete probability |
discrete probability |
discrete probability |
|
|
|
| 13 | advanced counting |
recurrence relation |
recurrence relation |
|
|
|
| 14 | generating function |
generating function |
generating function |
|
|
|
| 15 | relations |
relations |
relations |
|
|
|
| 16 | graphs |
graphs |
graphs |
|
|
|
| 17 | course summary |
course summary |
course summary |
|
|
|
| 18 | Final exam |
Final exam |
Final exam |
|
|
|