000			04094nam a22004095i 4500
001			86334
003			ES-MaUEC
005			20230207040554.0
007			cr nn 008mamaa
008			160916s2016 gw | s |||| 0|eng d
020			_a9783319445618
024	7		_a10.1007/978-3-319-44561-8 _2doi
040			_aES-MaUEC
050		4	_aQA76.9.M35 _bO74 2016 EB
082	0	4	_a004.0151
100	1		_aO'Regan, Gerard _0Local _999338
245	1	0	_aGuide to Discrete Mathematics : _bAn Accessible Introduction to the History, Theory, Logic and Applications _cby Gerard O'Regan
260			_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XXI, 368 p.) _b117 ilustraciones
336			_aTexto (visual) _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	1		_aTexts in Computer Science _x1868-0941
505	0		_aMathematics in Civilization -- Sets, Relations and Functions -- Number Theory -- Mathematical Induction and Recursion -- Sequences, Series and Permutations and Combinations -- Algebra -- Automata Theory -- Matrix Theory -- Graph Theory -- Cryptography -- Coding Theory -- Language Theory and Semantics -- Computability and Decidability -- A Short History of Logic -- Propositional and Predicate Logic -- Advanced Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language -- Probability, Statistics and Applications.
520			_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 important field of software engineering, describing formal methods, including the Z specification language Investigates probability and statistics, covering discrete random variables, probability distributions, sample spaces, variance and standard deviation, and hypothesis testing 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
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, EBSPRINGER
650		7	_aMatemáticas discretas _0comprobar BNE20021506428 _2embne _9160233
650		7	_aÁlgebra _9140864 _0comprobar BNE19900990659 _2embne
830		0	_aTexts in Computer Science _x1868-0941 _9134061
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-44561-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319445618
907			_a.b12956120 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b09-09-17 _cm _dz _eo _feng _ggw _h0
945			_aQA76.9.M35 O74 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11598074 _z06-04-17
999			_c86334 _d86334 _x1