Sets, Logic and Maths for Computing

Author:   David Makinson
Publisher:   Springer London Ltd
ISBN:  

9781846288449


Pages:   320
Publication Date:   30 September 2008
Replaced By:   9781447124993
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $131.87 Quantity:  
Add to Cart

Share |

Sets, Logic and Maths for Computing


Add your own review!

Overview

Full Product Details

Author:   David Makinson
Publisher:   Springer London Ltd
Imprint:   Springer London Ltd
Dimensions:   Width: 17.50cm , Height: 1.50cm , Length: 23.10cm
Weight:   0.522kg
ISBN:  

9781846288449


ISBN 10:   1846288444
Pages:   320
Publication Date:   30 September 2008
Audience:   College/higher education ,  Undergraduate
Replaced By:   9781447124993
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Collecting Things Together: Sets.- Comparing Things: Relations.- Associating One Item with Another: Functions.- Recycling Outputs as Inputs: Induction and Recursion.- Counting Things: Combinatorics.- Weighing the Odds: Probability.- Squirrel Math: Trees.- Yea and Nay: Propositional Logic.- Something about Everything: Quantificational Logic.

Reviews

From the reviews: The book covers the very basic concepts of sets, relations, functions, induction and recursion, combinatorics, probability, trees, propositional logic, and elementary concepts of predicate logic. The text is easy to read, and the concepts are presented in an understandable way using many examples. The book contains exercises with solutions, gives several further exercises, and hints for further selected reading. ! the book is recommended for undergraduates as a very first introduction to the basic ideas of finite mathematics and logic. (D. Seese, ACM Computing Reviews, January, 2009)


Author Information

David Makinson is currently Visiting Professor at London School of Economics (LSE). Previous affiliations include the Department of Computer Science at King's College London, UNESCO in Paris, and the American University of Beirut in Lebanon. He is well known for his early research in modal and deontic logics, and more recently in the logic of belief change (as one of the founders of the AGM paradigm) and nonmonotonic reasoning.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List