Publisher's Synopsis
This text provides both an introduction to abstract mathematics and a foundation in mathematics basic to computer science. It covers logic, proof techniques and elementary counting and prepares students for work in discrete methods, data stuctures, algorithms and computation theory. Theorems are clearly stated and proved and a comprehensive treatment of graph theory is provided.;This second edition has expanded coverage of combinatorics and more emphasis on algorithms and directed graphs in the graph theory chapter. The chapter on algebraic structures has been reorganised, with treatment of normal forms for Boolean switching functions included.;This book should be of interest to mathematics and computer science undergraduates attending introductory courses in discrete mathematics.
