Discrete Mathematics Computer Science Textbook General Self-Study

Author: Geng Suyun
Publisher:
Publish Date: 2002-09-01
Features: This book is divided into four main parts. The part on mathematical logic includes the basic concepts of propositional logic, equivalence operations, normal forms and proof theory, as well as the basic concepts of first-order logic, prenex normal forms, and proof theory. The set theory part covers the basic concepts and operations of sets, the properties and operations of binary relations, equivalence relations and partial order relations, functions and their properties, composite functions and inverse functions, etc. The algebraic structures part includes binary operations and algebraic systems, semigroups, monoids, groups, rings and fields, lattices and Boolean algebras, etc. The graph theory part includes the basic concepts of graphs and matrix representations, the concept, properties, and applications of trees, bipartite graphs, Eulerian graphs, Hamiltonian graphs, planar graphs, and graph coloring, etc.