04027nam a22005297a 4500001001500000003000900015005001700024007001500041008004100056020001800097024003500115050001500150072001700165072001600182072002300198072002300221082001700244100003200261245015200293264005900445300003300504336002600537337002600563338003600589347002400625505040100649520186201050650002202912650001902934650002002953650002402973650003502997650002603032650001703058650001303075650002203088650004303110650005103153650004503204650003503249650003703284650003803321710003403359773002003393776003603413856004803449sulb-eb0021507BD-SySUS20160413122147.0cr nn 008mamaa121116s2013 xxk| s |||| 0|eng d a97814471453497 a10.1007/978-1-4471-4534-92doi 4aQA76.9.M35 7aUYAM2bicssc 7aUFM2bicssc 7aCOM0180002bisacsh 7aMAT0030002bisacsh04a004.01512231 aO’Regan, Gerard.eauthor.10aMathematics in Computingh[electronic resource] :bAn Accessible Guide to Historical, Foundational and Application Contexts /cby Gerard O’Regan. 1aLondon :bSpringer London :bImprint: Springer,c2013. aXX, 288 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda0 aMathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- Probability, Statistics and Software Reliability -- Matrix Theory -- Complex Numbers and Quaternions -- Calculus -- Graph Theory. aFrom the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built our world. This clearly written and enlightening textbook/reference provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Spanning a wide range of topics – from number theory to software engineering – the book demonstrates the practical computing applications behind seemingly abstract ideas. The work of important figures such as Alan Turing and Robert Floyd are also discussed, highlighting how the theory has been informed by historical developments. Topics and features: Ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary Places our current state of knowledge within the context of the contributions made by early civilizations, such as the ancient Babylonians, Egyptians and Greeks Examines the building blocks of mathematics, including sets, relations and functions Presents an introduction to logic, formal methods and software engineering Explains the fundamentals of number theory, and its application in cryptography Describes the basics of coding theory, language theory, and graph theory Discusses the concept of computability and decideability Includes concise coverage of calculus, probability and statistics, matrices, complex numbers and quaternions This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader. 0aComputer science. 0aCoding theory. 0aComputer logic. 0aMathematical logic. 0aComputer sciencexMathematics. 0aComputer mathematics. 0aMathematics. 0aHistory.14aComputer Science.24aMath Applications in Computer Science.24aMathematical Applications in Computer Science.24aMathematical Logic and Formal Languages.24aCoding and Information Theory.24aLogics and Meanings of Programs.24aHistory of Mathematical Sciences.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z978144714533240uhttp://dx.doi.org/10.1007/978-1-4471-4534-9