Logic and discrete mathematics : a computer science perspective / by Winfried Karl Grassmann and Jean-Paul Tremblay

By: Grassmann, Winfried KarlContributor(s): Tremblay, Jean-PaulMaterial type: TextTextPublication 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Mathematics
510 GRA-L 2012 4137 (Browse shelf (Opens below)) Available 0004137
Books 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.

to post a comment.