Discrete Mathematics

Author: Zhang Xingdai et al.
Publisher:
Publish Date: 2002-06-01
Features: This book is a textbook for the Discrete Mathematics course in the Mathematics and Applied Mathematics program, and can also be used as a textbook for computer science programs. It consists of eight chapters, including Set Theory (Sets, Relations, Functions, Cardinality of Sets), Propositional Logic (including axiom systems), Predicate Logic (including axiom systems), Introduction to Non-Classical Logics (including modal logic, multi-valued logic, non-monotonic logic, fuzzy logic), Graph Theory, Algebraic Systems, Lattices and Boolean Algebras, and Applications of Discrete Mathematics in Computer Science. Each chapter is accompanied by exercises, and answers and hints to the exercises are provided in the appendix. The content of this book is systematic, comprehensive, logically rigorous, detailed in reasoning, concise in language, and includes numerous typical examples to facilitate understanding of fundamental theories and methods. This book can be used as a textbook for relevant programs in ordinary universities and adult colleges, and can also serve as a reference for scientists and self-study learners.