Logic and discrete mathematics : a computer science perspective / by Winfried Karl Grassmann and Jean-Paul Tremblay
Material type: TextPublication details: New Delhi : Pearson Education Private Limited, 2012, 1996cDescription: xviii, 750 p. : ill. ; 25 cmISBN: 9788131714386 (pbk)Subject(s): Computer science -- MathematicsDDC classification: 510
Contents:
1. Propositional Calculus
2. Predicate Calculus
3. Induction and Recursion
4. Prolog
5. Sets and Relations
6. Functions
7. Graph and Trees
8. Formal Requirement Specification in Z
9. Program Correctness Proofs
10. Grammars, Languages, and Parsing
11. Derivations
12. An Overview of Relational Database Systems
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 510 GRA-L 2012 4137 (Browse shelf (Opens below)) | Available | 0004137 | ||
Books | Namal Library Mathematics | 510 GRA-L 2012 809 (Browse shelf (Opens below)) | Available | 809 |
Total holds: 0
Browsing Namal Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510 FRA-P 1996 2663 Pure mathematics / | 510 GIL-M 1982 6024 Mathematics in the time of the pharaohs / | 510 GOS-D 2010 60 Discrete mathematics with proof / | 510 GRA-L 2012 4137 Logic and discrete mathematics : | 510 HAG-D 2009 3908 Discrete mathematics for computer science / | 510 HAT-E 2001 4220 Explorations in mathematics / | 510 HIL-M 1965 5156 Methods of applied mathematics / |
Index included
1. Propositional Calculus
2. Predicate Calculus
3. Induction and Recursion
4. Prolog
5. Sets and Relations
6. Functions
7. Graph and Trees
8. Formal Requirement Specification in Z
9. Program Correctness Proofs
10. Grammars, Languages, and Parsing
11. Derivations
12. An Overview of Relational Database Systems
There are no comments on this title.