Discrete Mathematics for New Technology, Second Edition: Proofs, Structures and Applications, Third Edition - Brossura

Garnier, Rowan; Taylor, John

 
9780750306522: Discrete Mathematics for New Technology, Second Edition: Proofs, Structures and Applications, Third Edition

Sinossi

Updated and expanded, Discrete Mathematics for New Technology, Second Edition provides a sympathetic and accessible introduction to discrete mathematics, including the core mathematics requirements for undergraduate computer science students. The approach is comprehensive yet maintains an easy-to-follow progression from the basic mathematical ideas to the more sophisticated concepts examined in the latter stages of the book. Although the theory is presented rigorously, it is illustrated by the frequent use of pertinent examples and is further reinforced with exercises-some with hints and solutions-to enable the reader to achieve a comprehensive understanding of the subject at hand.

New to the Second Edition

  • Numerous new examples and exercises designed to illustrate and reinforce mathematical concepts and facilitate students' progression through the topics
  • New sections on typed set theory and an introduction to formal specification

    Presenting material that is at the foundations of mathematics itself, Discrete Mathematics for New Technology is a readable, friendly textbook designed for non-mathematicians as well as for computing and mathematics undergraduates alike.
  • Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

    Informazioni sull?autore

    Rowan Garnier and John Taylor have extensive experience of teaching undergraduate mathematics at colleges and universities in the British and American systems. They have developed and taught courses for a variety of non-specialists and have established reputations for presenting rigorous mathematical concepts in a manner which is accessible to this audience. Their current research interests include diagrammatic reasoning and its use in rigorous software modelling.

    Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

    Altre edizioni note dello stesso titolo