Note: This is a custom edition of Levin's full Discrete Mathematics text, arranged specifically for use in a discrete math course for future elementary and middle school teachers. (It is NOT a new and updated edition of the main text.)This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colorado. This course serves both as an introduction to topics in discrete math and as the "introduction to proof" course for math majors. The course is usually taught with a large amount of student inquiry, and this text is written to help facilitate this.Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs.While there are many fine discrete math textbooks available, this text has the following advantages: - It is written to be used in an inquiry rich course.- It is written to be used in a course for future math teachers.- It is open source, with low cost print editions and free electronic editions.
Applied Discrete Structures, is a two semester undergraduate text in discrete mathematics, focusing on the structural properties of mathematical objects. These include matrices, functions, graphs, trees, lattices and algebraic structures. The algebraic structures that are discussed are monoids, groups, rings, fields and vector spaces. Website: http: //discretemath.org Applied Discrete Structures has been approved by the American Institute of Mathematics as part of their Open Textbook Initiative. For more information on open textbooks, visit http: //www.aimath.org/textbooks/. This version was created using Mathbook XML (https: //mathbook.pugetsound.edu/) Al Doerr is Emeritus Professor of Mathematical Sciences at UMass Lowell. His interests include abstract algebra and discrete mathematics. Ken Levasseur is a Professor of Mathematical Sciences at UMass Lowell. His interests include discrete mathematics and abstract algebra, and their implementation using computer algebra systems.
Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational mathematics necessary for courses in computer science. The common approach to presenting mathematical concepts and operators is to define them in terms of properties they satisfy, and then based on these definitions develop ways of computing the result of applying the operators and prove them correct. This book is mainly written for computer science students, so here the author takes a different approach: he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many end-of-section exercises -- key to the learning process. The book is suitable for undergraduate and graduate students, and although the treatment focuses on areas with frequent applications in computer science, the book is also suitable for students of mathematics and engineering.
Discrete Structures introduces readers to the mathematical structures and methods that form the foundation of computer science and features multiple techniques that readers will turn to regularly throughout their careers in computer and information sciences. Over the course of five modules, students learn specific skills including binary and modular arithmetic, set notation, methods of counting, evaluating sums, and solving recurrences. They study the basics of probability, proof by induction, growth of functions, and analysis techniques. The book also discusses general problem-solving techniques that are widely applicable to real problems. Each module includes motivation applications, technique, theory, and further opportunities for application. Informed by extensive experience teaching in computer science programs, Discrete Structures has been developed specifically for first-year students in those programs. The material is also suitable for courses in computer engineering, as well as those for students who are transferring from other disciplines and just beginning their computer science or engineering education.
Discrete Structure, Logic, and Computability 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. The emphasis is on the computational aspects, so that the reader can see how the concepts are actually used. Because of logic's fundamental importance to computer science, the topic is examined extensively in three phases that cover informal logic, the technique of inductive proof; and formal logic and its applications to computer science.
This text has been designed as a complete introduction to discrete mathematics, primarily for computer science majors in either a one or two semester course. The topics addressed are of genuine use in computer science, and are presented in a logically coherent fashion. The material has been organized and interrelated to minimize the mass of definitions and the abstraction of some of the theory. For example, relations and directed graphs are treated as two aspects of the same mathematical idea. Whenever possible each new idea uses previously encountered material, and then developed in such a way that it simplifies the more complex ideas that follow.
A Trusted Guide to Discrete Mathematics with Proof?Now in a Newly Revised Edition Discrete 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 proofs New sections on applications of elementary number theory, multidimensional induction, counting tulips, and the binomial distribution Important 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 databases Numerous 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 theorem Extensive appendices that outline supplemental material on analyzing claims and writing mathematics, along with solutions to selected chapter exercises Combinatorics 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.
Normal 0 false false false EN-US X-NONE X-NONE Selecting a mathematics textbook that meets the needs of a diverse student body can be a challenge. Some have too much information for a beginner; some have too little. The authors of Fundamentals of Discrete Structures, frustrated by their search for the perfect text, decided to write their own. The result provides an excellent introduction to discrete mathematics that is both accessible to liberal arts majors satisfying their core mathematics requirements, and also challenging enough to engage math and computer science majors. To engage students who may not be comfortable with traditional mathematics texts, the book uses a light tone when introducing new concepts. While there is an emphasis on computation, it avoids mathematical formalism and formal proofs, thus making it easier for the average student to understand. Unlike other textbooks in this field, Fundamentals of Discrete Structures strikes just the right balance: it illuminates the essentials of discrete mathematics while still providing a comprehensive treatment of the subject matter.
Although This Book Is Intended As A Sequel To Foundations Of Discrete Mathematics By The Same Author, It Can Be Read Independently Of The Latter, As The Relevant Background Needed Has Been Reviewed In Chapter 1. The Subsequent Chapters Deal With Graph Theory (With Applications), Analysis Of Algorithms (With A Detailed Study Of A Few Sorting Algorithms And A Discussion Of Tractability), Linear Programming (With Applications, Variations, Karmarkars Polynomial Time Algorithm, Integer And Quadratic Programming), Applications Of Algebra (To Polyas Theory Of Counting, Galois Theory, Coding Theory Of Designs). A Chapter On Matroids Familiarises The Reader With This Relatively New Branch Of Discrete Mathematics.Even Though Some Of The Topics Are Relatively Advanced, An Attempt Has Been Made To Keep The Style Elementary, So That A Sincere Student Can Read The Book On His Own. A Large Number Of Comments, Exercises, And References Is Included To Broaden The Readers Scope Of Vision. A Detailed Index Is Provided For Easy Reference.
Aimed at undergraduate mathematics and computer science students, this book is an excellent introduction to a lot of problems of discrete mathematics. It discusses a number of selected results and methods, mostly from areas of combinatorics and graph theory, and it uses proofs and problem solving to help students understand the solutions to problems. Numerous examples, figures, and exercises are spread throughout the book.
