Logic and Discrete Mathematics : A Computer Science Perspective
Grassmann, Winfried Karl
Logic and Discrete Mathematics : A Computer Science Perspective - New Delhi PEARSON EDUCATION, 1996 - xviii, 750 p. 18x24 cm
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
9788131714386
Discrete Mathematics, Logic and Discrete Mathematics, Propositional Calculus, Predict Calculus, Induction and Recursion, Prolog, Set and Relation, Functions, Graphs and Trees,
005.1015113 / GRA
Logic and Discrete Mathematics : A Computer Science Perspective - New Delhi PEARSON EDUCATION, 1996 - xviii, 750 p. 18x24 cm
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
9788131714386
Discrete Mathematics, Logic and Discrete Mathematics, Propositional Calculus, Predict Calculus, Induction and Recursion, Prolog, Set and Relation, Functions, Graphs and Trees,
005.1015113 / GRA