《离散数学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.