Guide to Discrete Mathematics

Guide to Discrete Mathematics

An Accessible Introduction to the History, Theory, Logic and Applications

O'Regan, Gerard

Springer International Publishing AG

04/2018

368

Mole

Inglês

9783319830803

15 a 20 dias

5913

Descrição não disponível.
Mathematics 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.
Discrete mathematics;Theorem proving;Propositional logic;Formal methods;Relations and functions