Discrete mathematics for computer scientists / J. K. Truss.
By: Truss, J. K
.
Material type: 
BookPublisher: Harlow : Addison-Wesley, 1999Edition: 2nd ed.Description: xix, 585 p. : ill. ; 24 cm.ISBN: 0201360616.Subject(s): Computer science -- MathematicsDDC classification: 511.3 | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Lending | 511.3 (Browse shelf(Opens below)) | 1 | Available | 00075197 |
Browsing MTU Bishopstown Library shelves, Shelving location: Lending Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
This is a new edition of a successful introduction to discrete mathematics for computer scientists, updated and reorganised to be more appropriate for the modern day undergraduate audience. Discrete mathematics forms the theoretical basis for computer science and this text combines a rigorous approach to mathematical concepts with strong motivation of these techniques via practical examples.
Bibliography: (pages 571-572) and index.
The natural numbers -- Introductory logic -- Sets, relations and functions -- Algebraic topics -- Combinatorics -- Partially ordered structures -- Further logic -- Graphs -- Formal machines -- Analysis of algorithms and complexity theory -- Coding theory.
Table of contents provided by Syndetics
- 1 The Natural Numbers
- 2 Introductory Logic
- 3 Sets, Relations and Functions
- 4 Algebraic Topics
- 5 Combinatorics
- 6 Partially Ordered Structures
- 7 Further Logic
- 8 Graphs
- 9 Formal Machines
- 10 Analysis of Algorithms and Complexity Theory
- 11 Coding Theory
- Appendix
- Answers to Selected Exercises
- Bibliography
- Index
Author notes provided by Syndetics
John Truss has taught at Oxford University, Paisley College of Technology and currently at the University of Leeds. He has been a committee member of the British Logic Colloquium since 1990, and has recently been appointed an editor of the Journal of the London Mathematical Society. He wrote Foundations of Mathematical Analysis in 1997 and has authored 40 research papers.
0201360616AB04062001