Authors:
Only minimal background in mathematics necessary
Careful selection of material that is really needed by students in the first two years of their university life in Computer Science and Information Sciences
Brings out the interplay between qualitative thinking and calculation
Teaches the material as a language for thinking in, as much as knowledge to be gained
Includes supplementary material: sn.pub/extras
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Reviews
From the reviews of the second edition:
“This book is an excellent introductory course on mathematical language, knowledge and problem solving skills for undergraduate students who need to enter the world of computer and information sciences. … This easy-to-follow text allows readers to carry out their computing studies with a clear understanding of the basic finite mathematics and mathematical logics that they will need. … is ideal for self-study as well as classroom use. … the book will be of interest to any student who would like to understand the mathematical language.” (Valentina Dagienë, Zentralblatt MATH, Vol. 1239, 2012)Authors and Affiliations
-
Department of Philosophy, London School of Economics, London, United Kingdom
David Makinson
About the author
Dr. David Makinson is a Visiting Professor in the Department of Philosophy, Logic and Scientific Method at the London School of Economics, UK.
Bibliographic Information
Book Title: Sets, Logic and Maths for Computing
Authors: David Makinson
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-1-4471-2500-6
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London Ltd., part of Springer Nature 2012
eBook ISBN: 978-1-4471-2500-6Published: 27 February 2012
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 2
Number of Pages: XXI, 283
Number of Illustrations: 17 b/w illustrations
Topics: Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Probability and Statistics in Computer Science, Computational Mathematics and Numerical Analysis