Computer Science and Technology

Discrete Mathematics

Release Date: 2017-09-22

1. Basic Course Information

Course Code: 110094
Course Name: Discrete Mathematics
Course Type: Specialty Course, Fundamental Course
Periods: 64
Credits: 4
Target Students: Underground Majoring in Information Science
Assessment: Examination
Preparatory Courses:

2. Course Introduction

Elementary discrete mathematics for computer science and engineering. Emphasis on mathematical definitions and proofs as well as on applicable methods. Topics: formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruencies; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics such as: recursive definition and structural induction; state machines and invariants; recurrences.