Limit search to available items
Resources
More Information
Book Cover
Lang Matl
Author Makinson, David, 1941-

Title Sets, logic and maths for computing / by David Makinson.

Imprint London : Springer, 2008.

Copies

Location Call No. Status
 CCQ - Lusail Female Library  QA76.9.M35    Available
 CCQ - Lusail Male Library  QA76.9.M35    Available
Description xv, 301 p. : ill. ; 24 cm.
Series Undergraduate topics in computer science
Bibliography Includes bibliographical references and index.
Contents Before the Beginning.- Do I really need to know about this?.- Proving and disproving: Logical techniques.- Proving and disproving: Mathematical techniques.- First Steps.- Flat set theory.- Families of sets.- Relations.- Functions.- Structures.-
Summary This easy-to-follow text allows readers to carry out their computing studies with a clear understanding of the basic finite mathematics and logic that they will need. Written explicitly for undergraduates, it requires only a minimal mathematical
Subject Computer science -- Mathematics.
ISBN 9781846288449 (pbk.)
1846288444 (pbk.)
1846288452 (ebook)
9781846288456 (ebook)