Sets, Logic and Maths for Computing

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): David Makinson (auth.)
Series: Undergraduate Topics in Computer Science
Publisher: Springer London
Year: 2008

Language: English
Pages: 313
Tags: Theory of Computation; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Probability and Statistics in Computer Science; Computational Mathematics and Numerical Analys

Front Matter....Pages i-xv
Collecting Things Together: Sets....Pages 1-28
Comparing Things: Relations....Pages 29-62
Associating One Item with Another: Functions....Pages 63-86
Recycling Outputs as Inputs: Induction and Recursion....Pages 87-121
Counting Things: Combinatorics....Pages 123-152
Weighing the Odds: Probability....Pages 153-187
Squirrel Math: Trees....Pages 189-217
Yea and Nay: Propositional Logic....Pages 219-264
Something about Everything: Quantificational Logic....Pages 265-296
Back Matter....Pages 297-301