An edition of Discrete Maths for Computing
(2002)
Discrete Maths for Computing
1st edition
by Rod Haggarty
- 6 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Discrete Maths for Computing
January 15, 2002, Addison Wesley, Addison-Wesley
Paperback
in English
- 1st edition
0201730472 9780201730470
|
aaaa
|
Book Details
Table of Contents
Preface
List of symbols
1. Introduction
1.1. Modelling
1.2. Pseudocode
Exercise set 1
Chapter summary
2. Logic and proof
2.1. Propositions and logic
2.2. Predicates and quantifiers
2.3. Methods of proof
2.4. Mathematical induction
Exercise set 2
Chapter summary
Application: Correctness of algorithms
3. Set theory
3.1. Sets and set operations
3.2. The algebra of sets
3.3. Further properties of sets
Exercise set 3
Chapter summary
Application: Knowledge-based systems
4. Relations
4.1. Binary relations
4.2. Properties of relations
4.3. Equivalence relations and partial orders
Exercise set 4
Chapter summary
Application: Database management systems
5. Functions
5.1. Inverse relations and composition of relations
5.2. Functions
5.3. Inverse functions and composition of functions
5.4. The pigeonhole principle
Exercise set 5
Chapter summary
Application: Functional programming languages
6. Combinatorics
6.1. The addition and multiplication principles
6.2. Counting formulae
6.3. The binomial expansion
Exercise set 6
Chapter summary
Application: Efficiency of algorithms
7. Graphs
7.1. Graphs and terminology
7.2. Hamiltonian graphs
7.3. Trees
Exercise set 7
Chapter summary
Application: Sorting and searching
8. Directed graphs
8.1. Directed graphs
8.2. Paths in digraphs
8.3. Shortest paths
Exercise set 8
Chapter summary
Application: Communications networks
9. Boolean algebra
9.1. Boolean algebra
9.2. Karnaugh maps
9.3. Logic circuits
Exercise set 9
Chapter summary
Application: Designing a 2-bit adder
Solutions
Further reading
Index
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 15 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 15, 2025 | Edited by Drini | Add TOC from Tocky |
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| December 19, 2023 | Edited by ImportBot | import existing book |
| April 1, 2023 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |