《離散數學I》課程介紹
《離散數學I》是計算機科學與技術整個一級學科的重要專業基礎課。也是相應後繼課程（數據結構、編譯原理、數字電路、關系數據庫等）的必備基礎。
本課程的教學目的是掌握離散數學I的基本概念和基本原理，以及該領域的發展現狀及最新技術。本課程要求同學們掌握集合論、命題邏輯、謂詞邏輯、圖論和數論等離散數學的基本概念與基本方法。訓練學生面向計算機的邏輯思維和邏輯抽象能力。為深入理解計算機原理提供理論基礎。
離散數學課程為國家級精品課程，近幾年獲吉林省優秀教學成果二等獎、吉林省高等學校教育技術成果一等獎；出版教材兩部，被列為普通高等教育“十五”國家級規劃教材，獲得吉林省普通高校優秀教材一等獎。
The introduction of course --- Discrete Mathematics I
“Discrete Mathematics I” is an important professional basic course for the discipline of Computer Science and Technology in institutions of higher education. It is basic for some follow-up courses such as Data Structure, Fundamentals of Compiling, Relational Database, and so on.
The objective of this course is to let students to master the basic concepts and the basic principles of Discrete Mathematics I, including set theory, propositional logic, predicate logic, graph theory, number theory, and so on. The capability of computer-oriented logical thinking and logic abstraction will be obtained through this course, and it will help students to understand the working principle of computers greatly.
Discrete mathematics course in our college is Excellent National Top Course, which has won the 2nd prize of Outstanding Teaching Achievements by Jilin Province, 1st prize of the Excellent Teaching Materials of Province Education Commission in several years. We have published two textbooks, which are classified as regular higher education of '10.5' National Planned Teaching Material, and which also won the 1st prize of excellent textbook for regular institutions of higher education in Jilin province.
