The book is mainly aimed at the bilingual curriculum design of discrete mathematics.It can meet the needs of the types of an introduction to the fundamental ideas of discrete mathematics,and as a foundation for the development of more advanced mathematical concepts. The book includes four parts.The first part is mathematical logic which covers propositional logic in Chapter 1 and predicate logic in Chapter 2.It gives a method how to express natural language statements using symbols as the founda