2 Yuan Chongyi, Qu Wanling, Wang Hanpin, Liu Tian. Discrete mathematics and its application (4th edition, translation). Machinery Industry Press, 2002.
3 Lu Zhongwan. Mathematical logic in computer science. Science Press, 2002.
4 Hamilton, translated by Zhu Shuilin. Mathematical logic. East China Normal University Press, 1987.
5 Geng Suyun. Discrete mathematics exercises-mathematical logic and set theory. Peking University Publishing House, 1993.
6 Sean. Discrete mathematics exercise set-abstract algebra volume. Peking University Publishing House, 1990.
7 Geng Suyun. Discrete mathematics problem sets-graph theory volume. Peking University Publishing House, 1990.
8 discrete mathematics exercise counseling software
9 propositional logic teaching software
10 discrete mathematics course, Geng Suyun, Qu Wanling, Wang Hanpin, Peking University Publishing House, 2002.
1 1 Discrete Mathematics and Its Applications, 6th Edition, Kenneth H. Rosen.
The value of the book Discrete Mathematics and Its Applications has been confirmed by hundreds of universities all over the world. As a classic textbook in the field of discrete mathematics, almost all famous universities in the world use this book as a textbook. From my personal point of view, this book is an encyclopedia of discrete mathematics. This paper not only introduces the theory and method of discrete mathematics, but also has rich historical materials and related learning website resources. What's more exciting is that this book rarely combines discrete mathematics theory and application so well. We can see the application examples of discrete mathematics theory in logic circuits, programming, commerce, Internet and other fields. The English version of this book (the sixth edition) adds a considerable number of biographies of mathematics and computer scientists, which is a rare reference material in the history of computer science. As a teaching material, this book is accompanied by a considerable number of exercises. After each chapter, there is a set of topics, which are trained in combination with the content of calculation and discrete mathematics that students have learned. This book is also the only English textbook I personally read when studying discrete mathematics. It is really a good book worth recommending.