Guide to discrete mathematics : [electronic resource] an accessible introduction to the history, theory, logic and applications /
O'Regan, Gerard
Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications / [electronic resource] Gerard O'Regan - Cham, Switzerland : Springer, 2016 - 1 online resource (xxi, 368 pages) : illustrations - Texts in computer science 1868-0941 . - Texts in computer science. .
Includes bibliographical references and index
Sets 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
9783319445618 (E-book)
COMPUTER SCIENCE--MATHEMATICS
QA 76.9.M35 / O73G 2016
Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications / [electronic resource] Gerard O'Regan - Cham, Switzerland : Springer, 2016 - 1 online resource (xxi, 368 pages) : illustrations - Texts in computer science 1868-0941 . - Texts in computer science. .
Includes bibliographical references and index
Sets 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
9783319445618 (E-book)
COMPUTER SCIENCE--MATHEMATICS
QA 76.9.M35 / O73G 2016