TY  - BOOK
AU  - Grassmann,Winfried Karl
AU  - Tremblay, Jean-Paul
TI  - Logic and Discrete Mathematics: A Computer Science Perspective
SN  - 9788131714386
U1  - 005.1015113 
PY  - 1996///
CY  - New Delhi
PB  - PEARSON EDUCATION
KW  - Discrete Mathematics, Logic and Discrete Mathematics, Propositional Calculus, Predict Calculus, Induction and Recursion, Prolog,  Set and Relation, Functions, Graphs and Trees
N1  - Description This text covers all the traditional topics of discrete mathematics ? logic, sets, relations, functions, and graphs ? and reflects recent trends in computer science. For Sale in Indian subcontinent only * Gives a more thorough exposure to logic reasoning than most other texts. * Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. * Contain chapters on language and grammars, and relational database. * Describes Prolog, a programming language based on logic, and a section on Miranda, language based on functions. *
; Including with Index
ER  -