離散數學

Abstract

課程首頁

本課程是由交通大學資訊工程學系提供。

課程目標/概述

To demonstrate to students how mathematics can be applied to solve nontrivial real-life problems. To gain more experience with mathematical thinking, arguments and proof techniques, which are essential in reasoning about computation. To learn about a number of different discrete structures (e.g., sets, relations, graphs, trees, etc.) that provide the mathematical formalizations for many computational problems. To hope that students will not only learn some powerful mathematical tools but also develop their ability to perceive, to formulate, and to solve mathematical problems. To provide a gateway to more advanced courses in any computer science courses, including data structures, algorithm, database automata theory, computer security, etc.

課程章節

章節

內容

第一章

Logic and Proofs

第二章

Sets, Functions, Sequences, and Sums

第三章

Algorithms and the Integers

第四章

Induction and Recur

第六章

Counting

第七章

Advanced Counting Techniques

第八章

Relations

第九章

Graphs

第十章

Trees

參考書目 Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th ed., McGraw-Hill Inc.

評分標準

項目 百分比

Preliminary Test 20%

2 Midterm 40%

1 Final 30%

Homework, Quizzes and others 10%

授課對象：大學一年級學生; 資訊共同

預備知識：無