000			01257nam a2200169 a 4500
020			_a9788131714386
082			_a005.1015113 _bGRA
100	1		_aGrassmann, Winfried Karl
245	1	0	_aLogic and Discrete Mathematics : _bA Computer Science Perspective
260			_aNew Delhi _bPEARSON EDUCATION, _c1996
300			_axviii, 750 p. _c18x24 cm
500			_aDescription 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. *
504			_aIncluding with Index
650			_aDiscrete Mathematics, Logic and Discrete Mathematics, Propositional Calculus, Predict Calculus, Induction and Recursion, Prolog, Set and Relation, Functions, Graphs and Trees,
700			_aTremblay, Jean-Paul
942			_cBK
999			_c18370 _d18370