Guide to Discrete Mathematics

Guide to Discrete Mathematics

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

O'Regan, Gerard

Springer Nature Switzerland AG

10/2021

452

Dura

Inglês

9783030815875

15 a 20 dias

875

Descrição não disponível.
1. 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.
Discrete Mathematics;Theorem Proving;Propositional Logic;Formal Methods;Relations and Functions