The satisfiability problem is addressed in greater depth, with Sudoku modeled in terms of satisfiability.  Hilbert’s Grand Hotel is used to help explain uncountability.  Proofs throughout the book have been made more accessible by adding steps and reasons behind these steps.  A template for proofs by mathematical induction has been added.  The step that applies the inductive hypothesis in mathematical induction proof is now explicitly noted. Algorithms  The pseudocode used in the book has been updated.  Explicit coverage of algorithmic paradigms, including brute force, greedy algorithms, and dynamic programing, is now provided.  Useful rules for big-O estimates of logarithms, powers, and exponential functions have been added. Number Theory and Cryptography  Expanded coverage allows instructors to include just a little or a lot of number theory in their courses.  The relationship between the mod function and congruences has been explained more fully.  The sieve of Eratosthenes is now introduced earlier in the book.  Linear congruences and modular inverses are now covered in more detail.  Applications of number theory, including check digits and hash functions, are covered in great depth.  A new section on cryptography integrates previous coverage, and the notion of a cryptosystem has been introduced.  Cryptographic protocols, including digital signatures and key sharing, are now covered. x Preface Graph Theory  A structured introduction to graph theory applications has been added.  More coverage has been devoted to the notion of social networks.  Applications to the biological sciences and motivating applications for graph isomorphism and planarity have been added.  Matchings in bipartite graphs are now covered, including Hall’s theorem and its proof.  Coverage of vertex connectivity, edge connectivity, and n-connectedness has been added, providing more insight into the connectedness of graphs. Enrichment Material  Many biographies have been expanded and updated, and new biographies of Bellman, Bézout Bienyamé, Cardano, Catalan, Cocks, Cook, Dirac, Hall, Hilbert, Ore, and Tao have been added.  Historical information has been added throughout the text.  Numerous updates for latest discoveries have been made. Expanded Media  Extensive effort has been devoted to producing valuable web resources for this book.  Extra examples in key parts of the text have been provided on companion website.  Interactive algorithms have been developed, with tools for using them to explore topics and for classroom use.  A new online ancillary, The Virtual Discrete Mathematics Tutor, available in fall 2012, will help students overcome problems learning discrete mathematics.  A new homework delivery system, available in fall 2012, will provide automated homework for both numerical and conceptual exercises.  Student assessment modules are available for key concepts.  Powerpoint transparencies for instructor use have been developed.  Asupplement Exploring Discrete Mathematics has been developed, providing extensive support for using MapleTM or MathematicaTM in conjunction with the book.  An extensive collection of external web links is provided. Features of the Book ACCESSIBILITY This text has proved to be easily read and understood by beginning students. There are no mathematical prerequisites beyond college algebra for almost all the content of the text. Students needing extra help will find tools on the companion website for bringing their mathematical maturity up to the level of the text. The few places in the book where calculus is referred to are explicitly noted. Most students should easily understand the pseudocode used in the text to express algorithms, regardless of whether they have formally studied programming languages. There is no formal computer science prerequisite. Each chapter begins at an easily understood and accessible level. Once basic mathematical concepts have been carefully developed, more difficult material and applications to other areas of study are presented. Preface xi FLEXIBILITY This text has been carefully designed for flexible use. The dependence of chapters on previous material has been minimized. Each chapter is divided into sections of approximately the same length, and each section is divided into subsections that form natural blocks of material for teaching. Instructors can easily pace their lectures using these blocks. WRITING STYLE The writing style in this book is direct and pragmatic. Precise mathematical language is used without excessive formalism and abstraction. Care has been taken to balance the mix of notation and words in mathematical statements. MATHEMATICAL RIGORAND PRECISION All definitions and theorems in this text are stated extremely carefully so that students will appreciate the precision of language and rigor needed in mathematics. Proofs are motivated and developed slowly; their steps are all carefully justified. The axioms used in proofs and the basic properties that follow from them are explicitly described in an appendix, giving students a clear idea of what they can assume in a proof. Recursive definitions are explained and used extensively. WORKEDEXAMPLES Over 800 examples are used to illustrate concepts, relate different topics, and introduce applications. In most examples, a question is first posed, then its solution is presented with the appropriate amount of detail. APPLICATIONS The applications included in this text demonstrate the utility of discrete mathematics in the solution of real-world problems. This text includes applications to a wide variety of areas, including computer science, data networking, psychology, chemistry, engineering, linguistics, biology, business, and the Internet. ALGORITHMS Results in discrete mathematics are often expressed in terms of algorithms; hence, key algorithms are introduced in each chapter of the book. These algorithms are expressed in words and in an easily understood form of structured pseudocode, which is described and specified in Appendix 3. The computational complexity of the algorithms in the text is also analyzed at an elementary level. HISTORICAL INFORMATION The background of many topics is succinctly described in the text. Brief biographies of 83 mathematicians and computer scientists are included as footnotes. These biographies include information about the lives, careers, and accomplishments of these important contributors to discrete mathematics and images, when available, are displayed. In addition, numerous historical footnotes are included that supplement the historical information in the main body of the text. Efforts have been made to keep the book up-to-date by reflecting the latest discoveries. KEY TERMS AND RESULTS A list of key terms and results follows each chapter. The key terms include only the most important that students should learn, and not every term defined in the chapter. EXERCISES There are over 4000 exercises in the text, with many different types of questions posed. There is an ample supply of straightforward exercises that develop basic skills, a large number of intermediate exercises, and many challenging exercises. Exercises are stated clearly and unambiguously, and all are carefully graded for level of difficulty. Exercise sets contain special discussions that develop new concepts not covered in the text, enabling students to discover new ideas through their own work. Exercises that are somewhat more difficult than average are marked with a single star ∗; those that are much more challenging are marked with two stars ∗∗. Exercises whose solutions require calculus are explicitly noted. Exercises that develop results used in the text are clearly identified with the right pointing hand symbol . Answers or outlined solutions to all oddxii Preface numbered exercises are provided at the back of the text. The solutions include proofs in which most of the steps are clearly spelled out. REVIEW QUESTIONS A set of review questions is provided at the end of each chapter. These questions are designed to help students focus their study on the most important concepts and techniques of that chapter. To answer these questions students need to write long answers, rather than just perform calculations or give short replies. SUPPLEMENTARY EXERCISE SETS Each chapter is followed by a rich and varied set of supplementary exercises. These exercises are generally more difficult than those in the exercise sets following the sections. The supplementary exercises reinforce the concepts of the chapter and integrate different topics more effectively. COMPUTER PROJECTS Each chapter is followed by a set of computer projects. The approximately 150 computer projects tie together what students may have learned in computing and in discrete mathematics. Computer projects that are more difficult than average, from both a mathematical and a programming point of view, are marked with a star, and those that are extremely challenging are marked with two stars. COMPUTATIONS AND EXPLORATIONS A set of computations and explorations is included at the conclusion of each chapter. These exercises (approximately 120 in total) are designed to be completed using existing software tools, such as programs that students or instructors have written or mathematical computation packages such as MapleTM or MathematicaTM. Many of these exercises give students the opportunity to uncover new facts and ideas through computation. (Some of these exercises are discussed in the Exploring Discrete Mathematics companion workbooks available online.) WRITING PROJECTS Each chapter is followed by a set of writing projects. To do these projects students need to consult the mathematical literature. Some of these projects are historical in nature and may involve looking up original sources. Others are designed to serve as gateways to new topics and ideas. All are designed to expose students to ideas not covered in depth in the text. These projects tie mathematical concepts together with the writing process and help expose students to possible areas for future study. (Suggested references for these projects can be found online or in the printed Student’s Solutions Guide.) APPENDIXES There are three appendixes to the text. The first introduces axioms for real numbers and the positive integers, and illustrates howfacts are proved directly from these axioms. The second covers exponential and logarithmic functions, reviewing some basic material used heavily in the course. The third specifies the pseudocode used to describe algorithms in this text. SUGGESTED READINGS A list of suggested readings for the overall book and for each chapter is provided after the appendices. These suggested readings include books at or below the level of this text, more difficult books, expository articles, and articles in which discoveries in discrete mathematics were originally published. Some of these publications are classics, published many years ago, while others have been published in the last few years. How to Use This Book This text has been carefully written and constructed to support discrete mathematics courses at several levels and with differing foci. The following table identifies the core and optional sections. An introductory one-term course in discrete mathematics at the sophomore level can be based on the core sections of the text, with other sections covered at the discretion of the Preface xiii instructor. A two-term introductory course can include all the optional mathematics sections in addition to the core sections. A course with a strong computer science emphasis can be taught by covering some or all of the optional computer science sections. Instructors can find sample syllabi for a wide range of discrete mathematics courses and teaching suggestions for using each section of the text can be found in the Instructor’s Resource Guide available on the website for this book. Chapter Core Optional CS Optional Math 1 1.1–1.8 (as needed) 2 2.1–2.4, 2.6 (as needed) 2.5 3 3.1–3.3 (as needed) 4 4.1–4.4 (as needed) 4.5, 4.6 5 5.1–5.3 5.4, 5.5 6 6.1–6.3 6.6 6.4, 6.5 7 7.1 7.4 7.2, 7.3 8 8.1, 8.5 8.3 8.2, 8.4, 8.6 9 9.1, 9.3, 9.5 9.2 9.4, 9.6 10 10.1–10.5 10.6–10.8 11 11.1 11.2, 11.3 11.4, 11.5 12 12.1–12.4 13 13.1–13.5 Instructors using this book can adjust the level of difficulty of their course by choosing either to cover or to omit the more challenging examples at the end of sections, as well as the more challenging exercises. The chapter dependency chart shown here displays the strong dependencies.A star indicates that only relevant sections of the chapter are needed for study of a later chapter.Weak dependencies have been ignored. More details can be found in the Instructor Resource Guide. Chapter 9* Chapter 10* Chapter 11 Chapter 13 Chapter 12 Chapter 2* Chapter 7 Chapter 8 Chapter 6* Chapter 3* Chapter 1 Chapter 4* Chapter 5* Ancillaries STUDENT’S SOLUTIONS GUIDE This student manual, available separately, contains full solutions to all odd-numbered problems in the exercise sets. These solutions explain why a particular method is used and why it works. For some exercises, one or two other possible approaches are described to show that a problem can be solved in several different ways. Suggested references for the writing projects found at the end of each chapter are also included in this volume. Also included are a guide to writing proofs and an extensive description of common xiv Preface mistakes students make in discrete mathematics, plus sample tests and a sample crib sheet for each chapter designed to help students prepare for exams. (ISBN-10: 0-07-735350-1) (ISBN-13: 978-0-07-735350-6) INSTRUCTOR’S RESOURCE GUIDE This manual, available on the website and in printed form by request for instructors, contains full solutions to even-numbered exercises in the text. Suggestions on how to teach the material in each chapter of the book are provided, including the points to stress in each section and how to put the material into perspective. It also offers sample tests for each chapter and a test bank containing over 1500 exam questions to choose from. Answers to all sample tests and test bank questions are included. Finally, several sample syllabi are presented for courses with differing emphases and student ability levels. (ISBN-10: 0-07-735349-8) (ISBN-13: 978-0-07-735349-0) Acknowledgments I would like to thank the many instructors and students at a variety of schools who have used this book and provided me with their valuable feedback and helpful suggestions. Their input has made this a much better book than it would have been otherwise. I especially want to thank Jerrold Grossman, Jean-Claude Evard, and Georgia Mederer for their technical reviews of the seventh edition and their “eagle eyes,” which have helped ensure the accuracy of this book. I also appreciate the help provided by all those who have submitted comments via the website. I thank the reviewers of this seventh and the six previous editions. These reviewers have provided much helpful criticism and encouragement to me. I hope this edition lives up to their high expectations. Reviewers for the Seventh Edition Philip Barry University of Minnesota, Minneapolis Miklos Bona University of Florida Kirby Brown Queens College John Carter University of Toronto Narendra Chaudhari Nanyang Technological University Allan Cochran University of Arkansas Daniel Cunningham Buffalo State College George Davis Georgia State University Andrzej Derdzinski The Ohio State University Ronald Dotzel University of Missouri-St. Louis T.J. Duda Columbus State Community College Bruce Elenbogen University of Michigan, Dearborn Norma Elias Purdue University, Calumet-Hammond Herbert Enderton University of California, Los Angeles Anthony Evans Wright State University Kim Factor Marquette University Margaret Fleck University of Illinois, Champaign Peter Gillespie Fayetteville State University Johannes Hattingh Georgia State University Ken Holladay University of New Orleans Jerry Ianni LaGuardia Community College Ravi Janardan University of Minnesota, Minneapolis Norliza Katuk University of Utara Malaysia William Klostermeyer University of North Florida Przemo Kranz University of Mississippi Jaromy Kuhl University of West Florida Loredana Lanzani University of Arkansas, Fayetteville Steven Leonhardi Winona State University Xu Liutong Beijing University of Posts and Telecommunications Vladimir Logvinenko De Anza Community College Preface xv Darrell Minor Columbus State Community College Keith Olson Utah Valley University Yongyuth Permpoontanalarp King Mongkut’s University of Technology, Thonburi Galin Piatniskaia University of Missouri, St. Louis Stefan Robila Montclair State University Chris Rodger Auburn University Sukhit Singh Texas State University, San Marcos David Snyder Texas State University, San Marcos Wasin So San Jose State University Bogdan Suceava California State University, Fullerton Christopher Swanson Ashland University Bon Sy Queens College MatthewWalsh Indiana-Purdue University, Fort Wayne GideonWeinstein Western Governors University DavidWilczynski University of Southern California I would like to thank Bill Stenquist, Executive Editor, for his advocacy, enthusiasm, and support. His assistance with this edition has been essential. I would also like to thank the original editor,WayneYuhasz, whose insights and skills helped ensure the book’s success, as well as all the many other previous editors of this book. I want to express my appreciation to the staff of RPK Editorial Services for their valuable work on this edition, including Rose Kernan, who served as both the developmental editor and the production editor, and the other members of the RPK team, Fred Dahl, Martha McMaster, ErinWagner, Harlan James, and Shelly Gerger-Knecthl. I thank Paul Mailhot of PreTeX, Inc., the compositor, for the tremendous amount to work he devoted to producing this edition, and for his intimate knowledge of LaTeX. Thanks also to Danny Meldung of Photo Affairs, Inc., who was resourceful obtaining images for the new biographical footnotes. The accuracy and quality of this new edition owe much to Jerry Grossman and Jean-Claude Evard, who checked the entire manuscript for technical accuracy and Georgia Mederer, who checked the accuracy of the answers at the end of the book and the solutions in the Student’s Solutions Guide and Instructor’s Resource Guide. As usual, I cannot thank Jerry Grossman enough for all his work authoring these two essential ancillaries. I would also express my appreciation the Science, Engineering, and Mathematics (SEM) Division of McGraw-Hill Higher Education for their valuable support for this new edition and the associated media content. In particular, thanks go to Kurt Strand: President, SEM, McGraw- Hill Higher Education, Marty Lange: Editor-in-Chief, SEM, Michael Lange: Editorial Director, Raghothaman Srinivasan: Global Publisher, Bill Stenquist: Executive Editor, Curt Reynolds: Executive Marketing Manager, Robin A. Reed: Project Manager, Sandy Ludovissey: Buyer, Lorraine Buczek: In-house Developmental Editor, Brenda Rowles: Design Coordinator, Carrie K. Burger: Lead Photo Research Coordinator, and Tammy Juran: Media Project Manager. Kenneth H. Rosen.
Unglaublich oder erstaunlich? Urteilen Sie selbst: Colton ist vier Jahre alt, als er lebensgefährlich erkrankt und operiert werden muss. Er überlebt um Haaresbreite. Später erzählt er seinen Eltern, dem Pastorenehepaars Todd und Sonja Burpo von erstaunlichen Dingen, die er während dieser Zeit zwischen Leben und Tod gesehen hat. Er berichtet von Tatsachen, die er gar nicht wissen konnte. Coltons Fazit: "Den Himmel gibt's echt!"
This text provides a balanced survey of major sub-fields within discrete mathematics. It demonstrates the utility of discrete mathematics in the solutions of real-world problems in diverse areas such as zoology, linguistics and business. Over 200 new problems have been added to this third edition.
Author: Dennis G. Zill
Publisher: Jones & Bartlett Publishers
Release Date: 2009-12-21
Now with a full-color design, the new Fourth Edition of Zill's Advanced Engineering Mathematics provides an in-depth overview of the many mathematical topics necessary for students planning a career in engineering or the sciences. A key strength of this text is Zill's emphasis on differential equations as mathematical models, discussing the constructs and pitfalls of each. The Fourth Edition is comprehensive, yet flexible, to meet the unique needs of various course offerings ranging from ordinary differential equations to vector calculus. Numerous new projects contributed by esteemed mathematicians have been added. New modern applications and engaging projects makes Zill's classic text a must-have text and resource for Engineering Math students!
Author: Gareth Williams
Publisher: Jones & Bartlett Learning
Release Date: 2011-08-24
Part of the new Digital Filmmaker Series! Digital Filmmaking: An Introductionis the first book in the newDigital Filmmaker Series. Designed for an introductory level course in digital filmmaking, it is intended for anyone who has an interest in telling stories with pictures and sound and won't assume any familiarity with equipment or concepts on the part of the student. In addition to the basics of shooting and editing, different story forms are introduced from documentary and live events through fictional narratives. Each of the topics is covered in enough depth to allow anyone with a camera and a computer to begin creating visual projects of quality.
Author: Gerald G. Bilodeau
Publisher: Jones & Bartlett Publishers
Release Date: 2011-01-28
Part of the Jones and Bartlett International Series in Advanced Mathematics Completely revised and update, the second edition of An Introduction to Analysis presents a concise and sharply focused introdution to the basic concepts of analysis from the development of the real numbers through uniform convergences of a sequence of functions, and includes supplementary material on the calculus of functions of several variables and differential equations. This student-friendly text maintains a cautious and deliberate pace, and examples and figures are used extensively to assist the reader in understanding the concepts and then applying them. Students will become actively engaged in learning process with a broad and comprehensive collection of problems found at the end of each section.
Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.
Author: Howard Anton
Publisher: Springer Verlag
Release Date: 1998
In Ihrer Hand liegt ein Lehrbuch - in sieben englischsprachigen Ausgaben praktisch erprobt - das Sie mit groem didaktischen Geschick, zudem angereichert mit zahlreichen Ubungsaufgaben, in die Grundlagen der linearen Algebra einfuhrt. Kenntnisse der Analysis werden fur das Verstandnis nicht generell vorausgesetzt, sind jedoch fur einige besonders gekennzeichnete Beispiele notig. Padagogisch erfahren, behandelt der Autor grundlegende Beweise im laufenden Text; fur den interessierten Leser jedoch unverzichtbare Beweise finden sich am Ende der entsprechenden Kapitel. Ein weiterer Vorzug des Buches: Die Darstellung der Zusammenhange zwischen den einzelnen Stoffgebieten - linearen Gleichungssystemen, Matrizen, Determinanten, Vektoren, linearen Transformationen und Eigenwerten.
Author: R. K. Bisht
Release Date: 2015-10-15
Genre: Computer science
Discrete Mathematics is a textbook designed for the students of computer science engineering, information technology, and computer applications to help them develop the foundation of theoretical computer science.