Grassmann, Winfried Karl <br/><br/>
Logic and Discrete Mathematics :  A Computer Science Perspective 

 - New Delhi  PEARSON EDUCATION,  1996 
 - xviii, 750 p.  18x24 cm 
<br/><br/> 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. *<br/> 
<br/><br/>Including with Index 
<br/><br/><label>ISBN: </label>9788131714386 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Discrete Mathematics, Logic and Discrete Mathematics, Propositional Calculus, Predict Calculus, Induction and Recursion, Prolog,  Set and Relation, Functions, Graphs and Trees,
<br/><br/><label>Dewey Class. No.: </label>005.1015113  / GRA