Ebook Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications – Part 2

Part 2 of ebook "Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications" provides readers with contents including: Chapter 10 - Cryptography; Chapter 11 - Coding theory; Chapter 12 - Language theory and semantics; Chapter 13 - Computability and decidability; Chapter 14 - A short history of logic; Chapter 15 - Propositional and predicate logic; Chapter 16 - Advanced topics in logic; Chapter 17 - Software engineering mathematics; Chapter 18 - Formal methods; Chapter 19 - Z formal specification language; Chapter 20 - Probability, statistics and applications;...