• Mathematics of Discrete Structures for Computer Science See large image

    Mathematics of Discrete Structures for Computer Science (Hardback) By (author) Gordon J. Pace

    Hard to find title available from Book Depository

    $56.94 - Save $9.25 13% off - RRP $66.19 Free delivery worldwide Available
    Dispatched in 4 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    DescriptionMathematics 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.


Other books

Other books in this category
Showing items 1 to 11 of 11

 

Reviews | Bibliographic data
  • Full bibliographic data for Mathematics of Discrete Structures for Computer Science

    Title
    Mathematics of Discrete Structures for Computer Science
    Authors and contributors
    By (author) Gordon J. Pace
    Physical properties
    Format: Hardback
    Number of pages: 309
    Width: 156 mm
    Height: 234 mm
    Thickness: 19 mm
    Weight: 615 g
    Language
    English
    ISBN
    ISBN 13: 9783642298394
    ISBN 10: 3642298397
    Classifications

    BIC E4L: COM
    Nielsen BookScan Product Class 3: S10.0
    B&T Book Type: NF
    B&T Modifier: Region of Publication: 01
    B&T Modifier: Academic Level: 01
    LC subject heading:
    Warengruppen-Systematik des deutschen Buchhandels: 16320
    LC classification: QA
    B&T Modifier: Text Format: 06
    B&T General Subject: 229
    B&T Modifier: Text Format: 01
    DC22: 511.1
    Abridged Dewey: 004
    LC subject heading:
    BIC subject category V2: UYA
    LC classification: QA76.9.M35
    B&T Merchandise Category: COM
    BISAC V2.8: COM014000
    Ingram Subject Code: XG
    BIC subject category V2: PBC
    LC subject heading:
    BIC subject category V2: PBD
    BISAC V2.8: MAT018000, COM018000
    B&T Approval Code: A10603000, A93010200, A93663600
    Libri: MATH3575, EDVA7025, DISK2700
    DC23: 511.1
    LC classification: QA75.5-76.95, QA8.9-10.3
    Edition statement
    2012 ed.
    Illustrations note
    15 black & white illustrations, biography
    Publisher
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Imprint name
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Publication date
    14 September 2012
    Publication City/Country
    Berlin
    Author Information
    Gordon J. Pace is an associate professor in the Department of Computer Science of the University of Malta. He has an M.Sc. and a D.Phil. from Oxford, where he was a Rhodes Scholar. He has considerable experience teaching courses on the topic of his book to undergraduates in Computer Science, Mathematics and Engineering. His research interests include formal methods for software and hardware, runtime verification and formal analysis of contracts.
    Review quote
    From the reviews: "Pace's Mathematics of Discrete Structures for Computer Science is a delightful book, written to be read and enjoyed as it moves from justifying the central place of maths in computing, through the usual set theory and logic, on to numbers, types and the halting problem." [Harold Thimbleby, Times Higher Education Supplement, 06/13] "Discrete mathematics is as essential for computer science as calculus is for physics. ... this book by Pace (Univ. of Malta) focuses on topics which are central to computer science, including the formal definition of data types and the use of induction to prove correctness. ... is most useful for future courses in programming languages, particularly those that use a language like Haskell. The book includes many helpful worked examples. Summing Up: Recommended. Lower-division undergraduates through researchers/faculty." [P. Cull, Choice, Vol. 50 (8), April, 2013] "There is no doubt that discrete mathematics is a mandatory component of any good computer science program. Therefore, a textbook for this area is always very useful. ... this book particularly emphasizes the difference between the algorithmic and the descriptive approach. ... topics are well presented and can be used immediately for teaching such a course. It is also very helpful that many exercises are included into the text and support the learning process." [Christian Posthoff, Zentralblatt MATH, Vol. 1254, 2013] "The overwhelming majority of the subjects is discussed from an algorithmic viewpoint, considering how we could use this or that result while writing code for a computer. ... you want to teach a course focusing on how to use discrete structures in computer science, then the book is a concise, low-cost alternative to textbooks in discrete mathematics." (Miklos Bona, MAA Reviews, December, 2012) "The standard topics--including propositional logic, predicate calculus, sets, relations, discrete structures, defining new structured types, numbers, and reasoning about programs--are covered ... . As such, the book is suitable for students who understand algebra and can program. ... Teachers who use this text have noted how enthusiastically their students discuss its ideas in class. ... Overall, the book is well made." [Richard Botting, ACM Computing Reviews, December, 2012] "Profound knowledge and skills in discrete mathematics are mandatory for a well educated computer scientist. Therefore a corresponding curriculum typically requires at least a basic course on this subject. This textbook, which is based on the lectures given by the author at the University of Malta, is a perfect companion for every student taking such a course. ... Besides a thorough formal presentation the book always gives a convincing motivation for studying the corresponding structures and explains the main ideas using illustrations. A well chosen set of exercises rounds off each topic. After studying the presented material a computer science student will be well prepared for further, more specialized courses." [Martin Leucker, Lubeck]
    Back cover copy
    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 thetreatment focuses on areas with frequent applications in computer science, the book is also suitable for students ofmathematics and engineering."
    Table of contents
    Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.