Discrete mathematics is the basic language which every student of computing should take pride in mastering and this book should prove an essential tool in this aim.Designed to form the basis of a one-year course in discrete mathematics for first-year computer scientists or software engineers, this textbook covers undergraduate algebra with a particular emphasis on computing applications.Designed to form the basis of a one-year course in discrete mathematics for first-year computer scientists or software engineers, this textbook covers undergraduate algebra with a particular emphasis on computing applications.This book is designed to form the basis of a one-year course in discrete mathematics for first-year computer scientists or software engineers. The materials presented cover much of undergraduate algebra with a particular bias toward the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mapping, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula-2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included with selected solutions to the problems appearing in the appendix.1. Introduction; 2. Logic; 3. Set theory; 4. Relations; 5. Mappings; 6. Graphs; 7. Graph algorithms; 8. Abstract algebra; Appendices. A useful refresher for those who wish to refamiliarize themselves with the material. Choice ...a very good freshman-level discrete math textbook. Mukkai S. Krishnamoorthy, Mathematical Reviews