離散數學
Discrete Mathematics
| 節 | 週一 | 週四 |
|---|---|---|
3 10:10–11:00 | 離散數學 EC122 2 節連堂 | |
4 11:10–12:00 | ||
7 15:30–16:20 | 離散數學 EC122 |
* 根據陽明交大上課時間表所列
This course includes logic and proofs, sets and matrices, number theory, recursion, counting, relations, and graphs. Students will learn the ability of logical thinking and mathematical derivation, which will be helpful for future related courses. This course includes logic and proofs, sets and matrices, number theory, recursion, counting, relations, and graphs. There are four important goals in this course: Mathematical Reasoning: This course will discuss mathematical logic, discuss the various skills needed to conduct mathematical logical arguments, and illustrate with various examples. Combinatorial Analysis: How to use combinatorial analysis to solve counting problems, as well as the basic analysis of algorithms will be discussed. Discrete structure and modeling: use the abstract mathematical structure of discrete objects and their relationships to describe the actual situation and model it mathematically, so as to analyze and solve practical problems in a mathematical way. Algorithmic thinking: describe computer programs in the form of algorithms, so that the codes can be presented in the form of virtual codes that are easier to understand. 學生將學習到邏輯思維和數學推導，將有助於後續相關課程的學習。 本課程包括邏輯和證明、集合和矩陣、數論、遞歸、計數、關係和圖形。本課程共有四個重要的主題： 數學推理：本課程將針對數理邏輯進行探討，討論進行數理邏輯論證時所需要的各種技巧，並藉由各種不同的範例進行說明。 組合分析：將討論如何使用組合分析來解決計數問題，以及演算法的基本分析。 離散結構與模型化：用離散物件及其間關係之抽象的數學結構描述實際存在的狀況並加以數學模型化，進而實現以數學的方式分析並解決實際的問題。 演算法思考：將電腦程式以演算法的方式描述，使代碼能夠以更加容易明瞭的虛擬碼形式呈現。
None
1. The instructor will provide slides (in pdf format) for this course. 2. 本課程的授課方式為每週星期一兩節實體課程（上課地點請看課程公告）；另外一節課（星期四）為非同步的方式進行，會以錄製的方式上傳至雲端空間，該時段不會在實體課程的教室授課． 3. 本學期的3.16當天的課程將調整為非同步
Quiz, homework 30% Midterm examination, 30% Final examination, 40%
| 週次 | 主題 |
|---|---|
| 第 1 週 | The Foundations: Logic and Proofs (1/2) |
| 第 2 週 | The Foundations: Logic and Proofs (2/2) |
| 第 3 週 | Basic Structures: Sets, Functions, Sequences, Sums, and Matrices (1/2). |
| 第 4 週 | Basic Structures: Sets, Functions, Sequences, Sums, and Matrices (2/2). |
| 第 5 週 | Number Theory (1/2) |
| 第 6 週 | Number Theory (2/2) |
| 第 7 週 | Induction and Recursion |
| 第 8 週 | Review and Mid-term Exam. |
| 第 9 週 | Counting (1/2) |
| 第 10 週 | Counting (2/2) |
| 第 11 週 | Advanced Counting Techniques(1/2) |
| 第 12 週 | Advanced Counting Techniques(2/2) |
| 第 13 週 | Relations (1/2) |
| 第 14 週 | Relations (2/2) |
| 第 15 週 | Graphs |
| 第 16 週 | Final Exam. |
| 第 17 週 | |
| 第 18 週 |
K. H. Rosen, "Discrete Mathematics and Its Applications," 8th edition, 2019.
- 地點
- EC522
- 時間
- 每週三下午14:00-16:00，為避免臨時有事，建議先以email告知
- 聯絡方式
- cklin@nycu.edu.tw