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, log in via an institution to check for access.
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