Sets, Logic and Maths for Computing

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Database Management, Data Processing
Cover of the book Sets, Logic and Maths for Computing by David Makinson, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: David Makinson ISBN: 9781447125006
Publisher: Springer London Publication: February 27, 2012
Imprint: Springer Language: English
Author: David Makinson
ISBN: 9781447125006
Publisher: Springer London
Publication: February 27, 2012
Imprint: Springer
Language: English

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. 

Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. 

Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.

More books from Springer London

Cover of the book Semantic Models for Adaptive Interactive Systems by David Makinson
Cover of the book Applied Nonparametric Statistics in Reliability by David Makinson
Cover of the book Selected References in Elective Orthopaedics by David Makinson
Cover of the book Transesophageal Echocardiography in Clinical Practice by David Makinson
Cover of the book Cognition Beyond the Brain by David Makinson
Cover of the book Interfacial Compatibility in Microelectronics by David Makinson
Cover of the book Pediatric Endourology Techniques by David Makinson
Cover of the book The History of Medical Informatics in the United States by David Makinson
Cover of the book Post-anaesthetic Recovery by David Makinson
Cover of the book Calculus for Computer Graphics by David Makinson
Cover of the book Chest Pain with Normal Coronary Arteries by David Makinson
Cover of the book Diagnostic Hematology by David Makinson
Cover of the book Support Vector Machines for Pattern Classification by David Makinson
Cover of the book Pancreatic Disease by David Makinson
Cover of the book CT and Myelography of the Spine and Cord by David Makinson
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy