Sets, logic and maths for computing
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 pr...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; New York :
Springer ,
c2012
|
| Edition: | 2nd ed |
| Series: | Undergraduate topics in computer science
|
| Subjects: |
Table of Contents:
- 1. Collecting things together: sets
- 2. Comparing things: relations
- 3. Associating one item with another: functions
- 4. Recycling outputs as inputs: induction and recursion
- 5. Counting things: combinatorics
- 6. Weighing the odds: probability
- 7. Squirrel math: trees
- 8. Yea and nay: propositional logic
- 9. Something about everything: quantificational logic
- 10. Just supposing: proof and consequence