Mathematics of Discrete Structures for Computer Science
Gordon J. Pace
€ 101.29
FREE Delivery in Ireland
Description for Mathematics of Discrete Structures for Computer Science
Hardcover. Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties. The comprehensive text is supplemented with summaries, proofs and exercises. Num Pages: 296 pages, biography. BIC Classification: PBC; PBD; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 22. Weight in Grams: 592.
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 ... Read more
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. Show LessProduct Details
Format
Hardback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Condition
New
Number of Pages
296
Place of Publication
Berlin, Germany
ISBN
9783642298394
SKU
V9783642298394
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Gordon J. Pace
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 ... Read more
Reviews for Mathematics of Discrete Structures for Computer Science
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 ... Read more