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)) | Checked out | 05/13/2024 | 0004137 | |
Books | Namal Library Mathematics | 510 GRA-L 2012 809 (Browse shelf (Opens below)) | Available | 809 |
Total holds: 0
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.