Discrete mathematics for computer scientists / J.K. Truss
By: Truss, J. K
.
Publisher: Harlow, England : Addison-Wesley, 1999Edition: 2nd ed.Description: xix, 585 p. : ill. ; 24 cm.ISBN: 0201360616.Subject(s): Computer science -- Mathematics![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Shelf location | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Main Collection | Taylor's Library-TU |
Floor 4, Shelf 15 , Side 1, TierNo 4, BayNo 4 |
511.3 TRU (Browse shelf) | 1 | Available | SOCIT,15009,03,GR | 5000030399 | |
Main Collection | Taylor's Library-TU |
Floor 4, Shelf 15 , Side 1, TierNo 4, BayNo 4 |
511.3 TRU (Browse shelf) | 1 | Available | SOCIT,15010,03,GR | 5000038507 | |
Main Collection | Taylor's Library-TU |
Floor 4, Shelf 15 , Side 1, TierNo 4, BayNo 4 |
511.3 TRU (Browse shelf) | 1 | Available | SOCIT,15011,03,GR | 5000027350 |
Browsing Taylor's Library-TU Shelves Close shelf browser
No cover image available | ||||||||
511.3 TRU Discrete mathematics for computer scientists / | 511.3 TRU Discrete mathematics for computer scientists / | 511.3 TRU Discrete mathematics for computer scientists / | 511.3 TRU Discrete mathematics for computer scientists / | 511.3 VON 2013 Elements of logical reasoning / | 511.3028553 SHA Metamathematics, machines, and Godel's proof / | 511.305 Logic journal of the IGPL. |
First published 1999, reprinted 1999
Preface. - List of Symbols. - 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.