Apress Access

Sets, Logic and Maths for Computing

By David Makinson

  • eBook Price: $29.95
Buy eBook Buy Print Book

Sets, Logic and Maths for Computing Cover Image

This easy-to-follow book introduces the mathematical language, knowledge and problem-solving skills needed for the study of computing. The language is both qualitative and quantitative, and includes basic notions of logic used for representation and proof.

Full Description

  • Add to Wishlist
  • ISBN13: 978-1-4471-2499-3
  • 304 Pages
  • User Level: Students
  • Publication Date: February 27, 2012
  • Available eBook Formats: PDF
Full Description
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.
Table of Contents

Table of Contents

  1. Collecting Things Together: Sets.
  2. Comparing Things: Relations.
  3. Associating One Item with Another: Functions.
  4. Recycling Outputs as Inputs: Induction and Recursion.
  5. Counting Things: Combinatorics.
  6. Weighing the Odds: Probability.
  7. Squirrel Math: Trees.
  8. Yea and Nay: Propositional Logic.
  9. Something about Everything: Quantificational Logic.
  10. Just Supposing: Proof and Consequence.

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published


    1. Graph Transformation


      View Book