000			04465nam a22004215i 4500
999			_c361667 _d361667 _x1
001			361667
003			ES-MaUEC
005			20230102121417.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			211028s2021 sz | s |||| 0|eng d
020			_a9783030815882
024	7		_a10.1007/978-3-030-81588-2 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.9 _b2021 EB
100	1		_aO'Regan, Gerard _967587 _q(Cornelius Gerard)
245	1	0	_aGuide to Discrete Mathematics _bAn Accessible Introduction to the History, Theory, Logic and Applications _cby Gerard O'Regan.
250			_aSecond edition 2021
264		1	_aCham _bSpringer International Publising _c2021
300			_a1 recurso en línea (XXI, 452 páginas) _b178 ilustraciones, 64 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_aarchivo de texto _bPDF
490	0		_aTexts in Computer Science _x1868-095X
490	0		_aComputer Science (SpringerNature-11645)
490	0		_aComputer Science (R0) (SpringerNature-43710)
505	0		_a1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph Theory -- 9. Cryptography -- 10. Coding Theory -- 11. Language Theory and Semantics -- 12. Computability and Decidability -- 13. A Short History of Logic -- 14. Propositional and Predicate Logic -- 15. Advanced Topics in Logic -- 16. Software Engineering Mathematics -- 17. Formal Methods -- 18. Z Formal Specification Language -- 19. Probability, Statistics and Applications.
520	3		_aThis stimulating textbook/reference presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Topics and features: 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, covering simultaneous and quadratic equations, and the laws of logarithms and indices, in addition to such structures in abstract algebra as monoids, groups, rings, integral domains, fields, and vector spaces 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 such advanced topics as fuzzy logic, temporal logic, intuitionistic logic, undefined values, theorem provers, and the applications of logic to AI 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 This engaging and clearly written work offers an invaluable overview of discrete mathematics for undergraduate computer science students, and to students of mathematics interested in the rich applications of discrete mathematics to the field of computing. Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.
988			_aSpringer_Computer_2021
650		7	_2embne _aMatemáticas discretas _9160233
776	0	8	_iPrinted edition: _z9783030815875
776	0	8	_iPrinted edition: _z9783030815899
776	0	8	_iPrinted edition: _z9783030815905
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-81588-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b02/2022 _dz _eh _zSI