課程資訊

Discrete Mathematics

99-2

EE2008

901E21100

02

Ceiba 課程網頁
http://ceiba.ntu.edu.tw/992DM

The Foundations: Logic, Sets and Functions
The Fundamentals: Algorithms, the Integers, and Matrices
Mathematical Reasoning, Induction, and Recurrence relations
Counting
Discrete Probability
Relations
Graphs
Trees

Much of what students need to learn in this course is not really "discrete" mathematics. It includes a fair amount of continuous abstract mathematics, e.g. functions, and basic ability to read and write proofs. Our goal is to prepare students for upper division computer science and mathematics courses, including: automata theory, combinatorics and graph theory, algorithm analysis, operating systems, data base, compilers, artificial intelligence, graphics, etc. This course also provides a rigorous introduction to formal approaches to software development (specifications, verification, testing, etc.) useful in the software engineering sequence. I will try to relate the topics to computer science problems wherever possible.

Homeworks and/or Quizzes 20%
Midterm Exam 40%
Final Exam 40%

Office Hours

none

Textbook： Kenneth H. Rosen
Discrete Mathematics and Its Applications
6th edition, McGraw-Hill

(僅供參考)

 No. 項目 百分比 說明 1. Homeworks and/or Quizzes 20% 2. Midterm Exam 40% 3. Final Exam 40%

 課程進度
 週次 日期 單元主題 第1週 2/21 Overview, Logic and Sets(1.1-1.5, 2.1-2.2) 第2週 2/28 放假 (和平紀念日) (Holiday) 第3週 3/07 停課 (No Class) 第4週 3/14 Logic and Sets (1.1-1.5, 2.1-2.2) 第5週 3/21 Functions and Sequences (2.3-2.4, 3.2) 第6週 3/28 Algorithms (3.1, 3.3-3.4) 第7週 4/04 放假(兒童節) (Holiday) 第8週 4/11 Number Theory (3.6-3.7) 第9週 4/18 Mathematical Reasoning (1.6, 4.1, 4.3-4.4) 第10週 4/25 Midterm exam 第11週 5/02 Mathematical Reasoning (1.6, 4.1, 4.3-4.4) 第12週 5/09 Counting (5.1-5.3) 第13週 5/16 Counting (5.1-5.3) & Relations and Equivalence Relations (8.1-8.6) 第14週 5/23 Relations and Equivalence Relations (8.1-8.6) 第15週 5/30 Graphs (9.1-9.4, 9.6) 第16週 6/06 放假(端午節) (Holiday) 第17週 6/13 Graphs (9.1-9.4, 9.6) 第18週 06/20 Final exam