000 04204nam a22005777a 4500
001 sulb-eb0021507
003 BD-SySUS
005 20160413122147.0
007 cr nn 008mamaa
008 121116s2013 xxk| s |||| 0|eng d
020 _a9781447145349
_9978-1-4471-4534-9
024 7 _a10.1007/978-1-4471-4534-9
_2doi
050 4 _aQA76.9.M35
072 7 _aUYAM
_2bicssc
072 7 _aUFM
_2bicssc
072 7 _aCOM018000
_2bisacsh
072 7 _aMAT003000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aO’Regan, Gerard.
_eauthor.
245 1 0 _aMathematics in Computing
_h[electronic resource] :
_bAn Accessible Guide to Historical, Foundational and Application Contexts /
_cby Gerard O’Regan.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2013.
300 _aXX, 288 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aCoding theory.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aComputer science
_xMathematics.
650 0 _aComputer mathematics.
650 0 _aMathematics.
650 0 _aHistory.
650 1 4 _aComputer Science.
650 2 4 _aMath Applications in Computer Science.
650 2 4 _aMathematical Applications in Computer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aCoding and Information Theory.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aHistory of Mathematical Sciences.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781447145332
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4471-4534-9
912 _aZDB-2-SCS
942 _2Dewey Decimal Classification
_ceBooks
999 _c43599
_d43599