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.- Just Supposing: Proof and Consequence.

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.

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)