| 000 | 01136nam a22003017a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20260226173458.0 | ||
| 008 | 260226b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781774698303 | ||
| 040 |
_beng _cTUPM _erda |
||
| 050 |
_aQA 39.3 _bD57 2024 |
||
| 100 | _aPomde, N. P. | ||
| 245 |
_aDiscrete mathematics for computer science / _cby Pomde, N. P. |
||
| 264 |
_aBurlington, Canada : _bArcler Press, _cc2024. |
||
| 300 |
_a223 pages ; _c24 cm |
||
| 336 |
_2rdacontent _atext |
||
| 337 |
_2rdamedia _aunmediated |
||
| 338 |
_2rdacarrier _avolume |
||
| 504 | _aIncludes bibliographic references and index. | ||
| 520 | _aExplores mathematical proofs, induction, sets, relations, and their applications in verifying algorithms and computer systems. | ||
| 590 | _aPomde, N. P. (Ed.). (2024). Discrete mathematics for computer science. Arcler Press. | ||
| 600 | _2Mathematics ; Computer science—Mathematics ; Proof theory | ||
| 650 | _aMathematics | ||
| 650 |
_aComputer science _xMathematics |
||
| 650 | _aProof theory | ||
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c31275 _d31275 |
||