| 000 | 02459nam a22002537a 4500 | ||
|---|---|---|---|
| 003 | NULRC | ||
| 005 | 20250213161208.0 | ||
| 008 | 250213b ph ||||| |||| 00| 0 eng d | ||
| 020 | _a9783030815875 | ||
| 040 | _cNULRC | ||
| 050 | _aQA 76.9.M35 .O74 2021 | ||
| 100 |
_aO'Regan, Gerard _eauthor |
||
| 245 |
_aGuide to discrete mathematics : _ban accessible introduction to the history, theory, logic and applications / _cGerard O'Regan |
||
| 250 | _a2nd Edition. | ||
| 260 |
_aSwitzerland : _bSpringer, _cc2021. |
||
| 300 |
_axxi, 452 pages : _bcolor illustrations ; _c24 cm. |
||
| 365 | _bUSD33.00 | ||
| 504 | _aIncludes index | ||
| 505 | _a1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- 6. Algebra -- 7. Automata Theory -- 8. Matrix Theory -- 9. Graph Theory -- 10. Cryptography -- 11. Coding Theory -- 12. Language Theory and Semantics -- 13. Computability and Decidability -- 14. A Short History of Logic -- 15. Propositional and Predicate Logic -- 16. Advanced Topics in Logic -- 17. The Nature of Theorem Proving -- 18. Software Engineering Mathematics -- 19. Software Reliability and dependability -- 20. Formal Methods -- 21. Z Formal Specification Language -- 22. Statistics -- 23. Probability Theory -- 24. Operations Research -- 25. Basic Financial Mathematics. | ||
| 520 | _aThis 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 | _aDISCRETE MATHEMATICS | ||
| 650 | _aCOMPUTER SCIENCE | ||
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c1895 _d1895 |
||