MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02459nam a22002537a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250213161208.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250213b ph ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030815875 |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA 76.9.M35 .O74 2021 |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
O'Regan, Gerard |
| Relator term |
author |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Guide to discrete mathematics : |
| Remainder of title |
an accessible introduction to the history, theory, logic and applications / |
| Statement of responsibility, etc. |
Gerard O'Regan |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
2nd Edition. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Switzerland : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
c2021. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxi, 452 pages : |
| Other physical details |
color illustrations ; |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
USD33.00 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes index |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Mathematics in Civilization -- <br/>2. Sets, Relations and Functions -- <br/>3. Number Theory -- <br/>4. Mathematical Induction and Recursion -- <br/>5. Sequences, Series and Permutations and Combinations -- <br/>6. Algebra -- <br/>7. Automata Theory -- <br/>8. Matrix Theory -- <br/>9. Graph Theory -- <br/>10. Cryptography -- <br/>11. Coding Theory -- <br/>12. Language Theory and Semantics -- <br/>13. Computability and Decidability -- <br/>14. A Short History of Logic -- <br/>15. Propositional and Predicate Logic -- <br/>16. Advanced Topics in Logic -- <br/>17. The Nature of Theorem Proving -- <br/>18. Software Engineering Mathematics -- <br/>19. Software Reliability and dependability -- <br/>20. Formal Methods -- <br/>21. Z Formal Specification Language -- <br/>22. Statistics -- <br/>23. Probability Theory -- <br/>24. Operations Research -- <br/>25. Basic Financial Mathematics.<br/> |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
DISCRETE MATHEMATICS |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
COMPUTER SCIENCE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
Books |
| Suppress in OPAC |
No |
