TY - BOOK ID - 7541501 TI - Discrete Mathematics PY - 2011 SN - 1441980466 1441980474 PB - New York, NY : Springer New York : Imprint: Springer, DB - UniCat KW - Computer science -- Mathematics. KW - Electronic books. -- local. KW - Mathematics KW - Computer vision KW - Number theory KW - Engineering design KW - Engineering & Applied Sciences KW - Physical Sciences & Mathematics KW - Algebra KW - Computer Science KW - Computer science KW - Mathematics. KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Computer graphics. KW - Applied mathematics. KW - Engineering mathematics. KW - Number theory. KW - Engineering design. KW - Number Theory. KW - Computer Imaging, Vision, Pattern Recognition and Graphics. KW - Engineering Design. KW - Applications of Mathematics. KW - Design, Engineering KW - Engineering KW - Industrial design KW - Strains and stresses KW - Number study KW - Numbers, Theory of KW - Engineering analysis KW - Mathematical analysis KW - Automatic drafting KW - Graphic data processing KW - Graphics, Computer KW - Computer art KW - Graphic arts KW - Engineering graphics KW - Image processing KW - Math KW - Science KW - Design KW - Digital techniques KW - Computer vision. KW - Machine vision KW - Vision, Computer KW - Artificial intelligence KW - Pattern recognition systems KW - Optical data processing. KW - Optical computing KW - Visual data processing KW - Bionics KW - Integrated optics KW - Photonics KW - Computers KW - Optical equipment UR - https://www.unicat.be/uniCat?func=search&query=sysid:7541501 AB - 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. . ER -