Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

Makinson, David

ISBN 10: 1447124995 / ISBN 13: 9781447124993

Published by Springer, 2012

About this Item

Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Seller Inventory # M01447124995-V

Bibliographic Details

• Title: Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)
• Publisher: Springer
• Publication Date: 2012
• Language: English
• ISBN 10: 1447124995
• ISBN 13: 9781447124993
• Binding: Soft cover
• Edition: 2nd Edition
• Condition: very good

About this title

Synopsis

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.

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.