Discrete mathematics for computer science / (Record no. 31275)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01136nam a22003017a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260226173458.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 260226b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781774698303 |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | eng |
| Transcribing agency | TUPM |
| Description conventions | rda |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA 39.3 |
| Item number | D57 2024 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Pomde, N. P. |
| 245 ## - TITLE STATEMENT | |
| Title | Discrete mathematics for computer science / |
| Statement of responsibility, etc. | by Pomde, N. P. |
| 264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Burlington, Canada : |
| Name of producer, publisher, distributor, manufacturer | Arcler Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | c2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 223 pages ; |
| Dimensions | 24 cm |
| 336 ## - CONTENT TYPE | |
| Source | rdacontent |
| Content type term | text |
| 337 ## - MEDIA TYPE | |
| Source | rdamedia |
| Media type term | unmediated |
| 338 ## - CARRIER TYPE | |
| Source | rdacarrier |
| Carrier type term | volume |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographic references and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Explores mathematical proofs, induction, sets, relations, and their applications in verifying algorithms and computer systems. |
| 590 ## - CITATION | |
| Citation | Pomde, N. P. (Ed.). (2024). Discrete mathematics for computer science. Arcler Press. |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Source of heading or term | Mathematics ; Computer science—Mathematics ; Proof theory |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| General subdivision | Mathematics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Proof theory |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Book |
| Suppress in OPAC | No |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Inventory number | Total checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | TUP Manila Library | TUP Manila Library | General Circulation Section-GF | 05/26/2025 | Linar | 7480.00 | 34506 | QA 76.9 S25 2024 | P00034506 | 02/26/2026 | 7480.00 | 05/26/2025 | Book |