This book is the basic textbook of Discrete Mathematics, the core course of computer science. This book is divided into five parts. The first four chapters respectively introduce four topics: mathematical logic, set theory, algebraic structure and graph theory. The fifth part is the application part, which mainly introduces formal languages, automata and error correcting codes.

This book can be used as a teaching book for automatic control, electronic engineering, management science and other related majors, and can be used as a reference for computer researchers and related engineering and technical personnel.