校際選修

115-1 選課時程

進行中

  • 初選第一階段 6/15/2026
  • 初選第二階段 6/22/2026
  • 校際選修 8/24/2026
  • 初選第三階段 8/31/2026
  • 開學後加退選 9/7/2026
  • 逾期加退選 9/21/2026
選課資源

離散數學

Discrete Mathematics

學期
106-2
學分
3 學分
當期課號
1483
永久課號
DIF1073
開課單位
資訊管理與財務金融系
授課教師
徐熊健
校區
光復
類別
選修
上課時間表
週一
7
15:30–16:20
離散數學
MB311
3 節連堂
8
16:30–17:20
9
17:30–18:20

* 根據陽明交大上課時間表所列

概述

This course intends to cover four basic areas in the study of computer science: discrete methods, combinatorics, graph theory and finite algebraic structures. We will (1) introduce the topics and techniques of discrete mathematics and combinatorial reasoning; (2) develop the mathematical maturity of the students through the study of an area that is so different from the traditional coverage in calculus and differential equations, and (3) present an adequate survey of topics for the computer science students who will be taking more advanced courses.

先修科目

評分方式

1. Homework and Assignments: 2. Exams and Quizzes: 3. Evaluation and Grading Policy: 4. Pedagogy and other supplementary information (websites, TAs, handouts and/or databases):

課程大綱
  • Ch. 1: Basic Principles of Counting
  • Ch. 3: Set Theory
  • Ch. 4: Properties of Integers 1. Well-Ordering Principle: Mathematical Induction 3
  • Ch. 5: Relations and Functions
  • Ch. 6: Languages: Finite State Machines
  • Midterm
  • Ch. 7: Relations: Second Round
  • Ch. 11: An Introduction to Graph Theory
  • Ch. 12: Trees
  • Ch. 13: Optimization and Matching
  • Final
週次計畫
週次主題
第 1 週Permutations, Combinations
第 2 週Catalan Numbers; Set and Subsets, Set Operations
第 3 週Laws of Set Theory, Counting and Venn Diagrams
第 4 週Well-Ordering Principle: Mathematical Induction
第 5 週Cartesian Products and Relations, Plain, One-to-One and Onto Functions
第 6 週Pigeonhole Principle, Composition and Inverse, Computational Complexity
第 7 週Set Theory of Strings, Finite State Machines
第 8 週Finite State Machines
第 9 週Midterm Exam.
第 10 週Properties of Relations, Computer Recognition: 0-1 Matrices and Directed Graphs
第 11 週Equivalence Relations and Partitions
第 12 週Subgraphs, Complements, and Graph Isomorphism,
第 13 週Graph Isomorphism, Euler Trails and Circuits
第 14 週Hamilton Paths and Cycles; Definition and Examples of Trees
第 15 週Binary Trees, Dijkstra's Shortest-Path Algorithm
第 16 週Minimal Spanning Trees, Complete Binary Tree
第 17 週Balanced Binary Tree and Heap
第 18 週Final Exam.
教科書

R.P. Grimaldi, Discrete and Combinatorial Mathematics, 5th ED., Addison-Wesley, 2003, Reading, Massachusetts. 新月圖書代理

Office Hours
地點
MB312
時間
1EF
聯絡方式
sjshyu@gmail.com