| 000 | 01198nam a2200193 a 4500 | ||
|---|---|---|---|
| 001 | ASIN0135012066 | ||
| 005 | 20190522123710.0 | ||
| 008 | 130904s1995 xxu eng d | ||
| 020 |
_a0135012066 (hardcover) _c$162.60 |
||
| 020 | _a9780135012062 (hardcover) | ||
| 100 | 1 | _aGrassmann, Winfried Karl. | |
| 245 | 1 | 0 |
_aLogic and discrete mathematics : _ba computer science perspective / _cWinfried Karl Grassmann, Jean-Paul Tremblay. |
| 250 | _a1st ed. | ||
| 260 |
_a[S.l.] : _bPrentice Hall, _c1995. |
||
| 300 |
_a750 p. ; _c23 cm. |
||
| 520 | _aThis book covers all the traditional topics of discrete mathematics���logic, sets, relations, functions, and graphs���and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog , a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer scien | ||
| 700 | _aTremblay, Jean-Pa | ||
| 856 |
_3Amazon.com _uhttp://www.amazon.com/exec/obidos/ASIN/0135012066/chopaconline |
||
| 999 |
_c5318 _d5318 |
||