00000cmm a22000004a 4500 UP-99796217611212267 Buklod 20250130110859.0 m go j cr |nu|||auu|a 250130s2011 xxu o j | eng d 9781441980472 (eBook) (iLib)UPD-00215704021 DLC DMLR rda eng DMLUC QA 76.9 M35 G35 2011eb Gallier, Jean H. author. Discrete mathematics [electronic resource] by Jean Gallier. First edition. New York, New York Springer New York 2011. 1 online resource (xiii, 465 pages) illustrations. text rdacontent computer rdamedia online resource rdacarrier Universitext Mathematical Reasoning, Proof Principles and Logic -- Relations, Functions, Partial Functions -- Graphs, Part I: Basic Notions --  Some Counting Problems; Multinomial Coefficients -- Partial Orders, GCD's, RSA, Lattices -- Graphs, Part II: More Advanced Notions -- Answers to Selected Problems. IP-based subscription, access limited to within on campus computer network. Access via Electronic Resources of the UPD University Library Website. This book gives an introduction to discrete mathematics for beginning undergraduates and starts with a chapter on the rules of mathematical reasoning. This book  begins with a presentation of the rules of logic as used in mathematics where many examples of formal and informal proofs are given. With this logical framework firmly in place, the book describes the major axioms of set theory and introduces the natural numbers. The rest of the book deals with functions and relations, directed and undirected graphs and an introduction to combinatorics, partial orders and complete induction. There is a section on public key cryptography and RSA, with complete proofs of Fermat's little theorem and the correctness of the RSA scheme, as well as explicit algorithms to perform modular arithmetic. The last chapter provides more graph theory where Eulerian and Hamiltonian cycles are discussed. This book also includes network flows, matchings, covering, bipartite graphs, planar graphs and state the graph minor theorem of Seymour and Robertson. The book is highly illustrated and each chapter ends with a list of problems of varying difficulty. Undergraduates in mathematics and computer science will find this book useful. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Mathematics/. Computer vision. Number theory. Engineering design. Computer science Mathematics. SpringerLink (Online service). Electronic Resource Available for UP System via SpringerLink. https://doi.org/10.1007/978-1-4419-8047-2 FO UPD DMLR QA 76.9 M35 G35 2011eb Electronic Resource