For one-/two- semester, freshman courses in Discrete Mathematics. This carefully organized, very readable text covers every essential topic in discrete... mathematics in a logical fashion. Placing each topic in context, it covers concepts associated with discrete mathematical systems that have applications in computer science, engineering, and mathematics. The author introduces more basic concepts at the freshman level than are found in other texts, in a simple, accessible form. Introductory material is balanced with extensive coverage of graphs, trees, recursion, algebra, theory of computing, and combinatorics. Extensive examples throughout the text reinforce concepts.

Containing exercises and materials that engage students at all levels, Discrete Mathematics with Ducks presents a gentle introduction for students who... find the proofs and abstractions of mathematics challenging. This classroom-tested text uses discrete mathematics as the context for introducing proofwriting. Facilitating effective and active learning, each chapter contains a mixture of discovery activities, expository text, in-class exercises, and homework problems. Elementary exercises at the end of each expository section prompt students to review the material Try This! sections encourage students to construct fundamental components of the concepts, theorems, and proofs discussed. Sets of discovery problems and illustrative examples reinforce learning. Bonus sections can be used for take-home exams, projects, or further study Instructor Notes sections offer suggestions on how to use the material in each chapter Discrete Mathematics with Ducks offers students a diverse introduction to the field and a solid foundation for further study in discrete mathematics and complies with SIGCSE guidelines. The book shows how combinatorics and graph theory are used in both computer science and mathematics.

Far more "user friendly" than the vast majority of similar books, this volume is truly written with the unsophisticated reader in mind.  The pace is... leisurely, but the authors are rigorous and maintain a serious attitude towards theorem proving throughout. Emphasizes "Active Reading" throughout, a skill vital to success in learning how to write proofs. Offers two sections on probability (2.4 and 2.5). Moves material on depth-first search, which previously comprised an entire (very short) chapter, to an earlier chapter where it fits more naturally. Rewrites section on RNA chains to include a new (and easier) algorithm for the recovery of an RNA chain from its complete enzyme digest. Provides true/false questions (with all answers in the back of the book) in every section. Features an appendix on matrices.  A useful reference for mathematics enthusiasts who want to learn how to write proofs.

A Trusted Guide to Discrete Mathematics with Proof?Now in a Newly Revised EditionDiscrete mathematics has become increasingly popular in recent years... due to its growing applications in the field of computer science. Discrete Mathematics with Proof, Second Edition continues to facilitate an up-to-date understanding of this important topic, exposing readers to a wide range of modern and technological applications.The book begins with an introductory chapter that provides an accessible explanation of discrete mathematics. Subsequent chapters explore additional related topics including counting, finite probability theory, recursion, formal models in computer science, graph theory, trees, the concepts of functions, and relations. Additional features of the Second Edition include:An intense focus on the formal settings of proofs and their techniques, such as constructive proofs, proof by contradiction, and combinatorial proofsNew sections on applications of elementary number theory, multidimensional induction, counting tulips, and the binomial distributionImportant examples from the field of computer science presented as applications including the Halting problem, Shannon's mathematical model of information, regular expressions, XML, and Normal Forms in relational databasesNumerous examples that are not often found in books on discrete mathematics including the deferred acceptance algorithm, the Boyer-Moore algorithm for pattern matching, Sierpinski curves, adaptive quadrature, the Josephus problem, and the five-color theoremExtensive appendices that outline supplemental material on analyzing claims and writing mathematics, along with solutions to selected chapter exercisesCombinatorics receives a full chapter treatment that extends beyond the combinations and permutations material by delving into non-standard topics such as Latin squares, finite projective planes, balanced incomplete block designs, coding theory, partitions, occupancy problems, Stirling numbers, Ramsey numbers, and systems of distinct representatives. A related Web site features animations and visualizations of combinatorial proofs that assist readers with comprehension. In addition, approximately 500 examples and over 2,800 exercises are presented throughout the book to motivate ideas and illustrate the proofs and conclusions of theorems.Assuming only a basic background in calculus, Discrete Mathematics with Proof, Second Edition is an excellent book for mathematics and computer science courses at the undergraduate level. It is also a valuable resource for professionals in various technical fields who would like an introduction to discrete mathematics.

Intended as a first course in probability at post-calculus level, this book is of special interest to students majoring in computer science as well as... in mathematics. Since calculus is used only occasionally in the text, students who have forgotten their calculus can nevertheless easily understand the book, and its slow, gentle style and clear exposition will also appeal. Basic concepts such as counting, independence, conditional probability, random variables, approximation of probabilities, generating functions, random walks and Markov chains are all clearly explained and backed by many worked exercises. The 1,196 numerical answers to the 405 exercises, many with multiple parts, are included at the end of the book, and throughout, there are various historical comments on the study of probability. These include biographical information on such famous contributors as Fermat, Pascal, the Bernoullis, DeMoivre, Bayes, Laplace, Poisson, and Markov. Of interest to a wide range of readers and useful in many undergraduate programs.

Thoroughly updated, the new Third Edition of Discrete Structures, Logic, and Computability introduces beginning computer science and computer... engineering students to the fundamental techniques and ideas used by computer scientists today, focusing on topics from the fields of mathematics, logic, and computer science itself. Dr. Hein provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. The text contains all the topics for discrete structures in the reports of the IEEE/ACM Joint Task Force on Computing Curricula for computer science programs and for computer engineering programs.

This book introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing... on discrete structures, logic, and computability.