Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

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

Full description

Bibliographic Details
Published in:Springer eBooks
Main Author: O'Regan, Gerard (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2013.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-1-4471-4534-9
Перейти в каталог НБ ТГУ
LEADER 04291nam a22005295i 4500
001 vtls000483449
003 RU-ToGU
005 20210922065811.0
007 cr nn 008mamaa
008 140715s2013 xxk| s |||| 0|eng d
020 |a 9781447145349  |9 978-1-4471-4534-9 
024 7 |a 10.1007/978-1-4471-4534-9  |2 doi 
035 |a to000483449 
039 9 |y 201407151933  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
050 4 |a QA76.9.M35 
072 7 |a UYAM  |2 bicssc 
072 7 |a UFM  |2 bicssc 
072 7 |a COM018000  |2 bisacsh 
072 7 |a MAT003000  |2 bisacsh 
082 0 4 |a 004.0151  |2 23 
100 1 |a O'Regan, Gerard.  |e author.  |9 318444 
245 1 0 |a Mathematics in Computing  |h [electronic resource] :  |b An Accessible Guide to Historical, Foundational and Application Contexts /  |c by Gerard O'Regan. 
260 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2013.  |9 733388 
300 |a XIX, 285 p. 131 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a Mathematics 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 |a From 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 |a Computer Science.  |9 155490 
650 0 |a Coding theory.  |9 303096 
650 0 |a Logic design.  |9 306256 
650 1 4 |a Computer Science.  |9 155490 
650 2 4 |a Math Applications in Computer Science.  |9 303284 
650 2 4 |a Mathematical Applications in Computer Science.  |9 412135 
650 2 4 |a Mathematical Logic and Formal Languages.  |9 303363 
650 2 4 |a Coding and Information Theory.  |9 303101 
650 2 4 |a Logics and Meanings of Programs.  |9 306257 
650 2 4 |a History of Mathematical Sciences.  |9 296777 
710 2 |a SpringerLink (Online service)  |9 143950 
773 0 |t Springer eBooks 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4471-4534-9 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=356819 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645) 
999 |c 356819  |d 356819