Discrete Mathematics and Its Applications in Computer Science

Author: Xu Jiepan / Zhu Huaihong / Song Fangmin (editors)
Publisher:
Publish Date: 2005-04-01
Features: Discrete mathematics is closely related to computer science. This book systematically introduces the fundamental theories of discrete mathematics, elaborates on the connections between its various branches, and explains its applications in computer science. The main contents include: set theory, relations, mappings and infinite sets, modern algebra, graph theory, propositional logic, predicate logic, axiomatic theories of propositional and predicate logic, and the applications of discrete mathematics in computer science. Each chapter ends with a review outline and exercises, and the book includes solutions to all chapter exercises at the end. This book is suitable as a textbook for students and self-examiners in computer science and related fields, as well as for researchers, scientists, and teachers engaged in computer and mathematics research.