An edition of Discrete Maths for Computing
(2002)
Discrete Maths for Computing
1st edition
by Rod Haggarty
- 6 Want to read
Share
×Close
This work 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
| July 31, 2020 | Edited by ImportBot | import existing book |
| July 1, 2019 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |