000			01685nmm a2200301 a 4500
003			SPU
005			20210710193305.0
008			200909b2016 sz |||||o|||| 00| 0 eng d
020			_a9783319445618 (E-book)
040			_aSPU
049			_amain
050		4	_aQA 76.9.M35 _bO73G 2016
100			_aO'Regan, Gerard _9238614
245	1	0	_aGuide to discrete mathematics : _ban accessible introduction to the history, theory, logic and applications / _cGerard O'Regan _h[electronic resource]
260			_aCham, Switzerland : _bSpringer, _c2016
300			_a1 online resource (xxi, 368 pages) : _billustrations
449			_a111113
490			_aTexts in computer science _x1868-0941
504			_aIncludes bibliographical references and index
505			_aSets relations and functions -- Number theory -- Mathematical induction and recursion -- Sequences series and permutations and combinations -- Algebra -- automata theory -- Matrix theory -- 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 -- Graph theory -- Cryptography -- Coding theory -- Language theory and semantics
650		0	_aCOMPUTER SCIENCE _xMATHEMATICS _939108
830		0	_aTexts in computer science. _0http://id.loc.gov/authorities/names/n2005047943 _x1868-0941
850			_aSPU
856	4	0	_uhttps://drive.google.com/file/d/1pWPCpB7rMAQ0jr5TEUapt2iIH7I87tDg/view?usp=sharing _yView Full-text
910			_aLibrary _bSpringer _c090920
942			_2lcc _cEBK
998			_ajirawan 0920 _bjirawan 0920
999			_c198688