Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications / Gerard O'Regan

By:

O'Regan, Gerard [author]

Material type: Text

TextPublication details: Switzerland : Springer, c2021.Edition: 2nd EditionDescription: xxi, 452 pages : color illustrations ; 24 cmISBN:

9783030815875

Subject(s):

LOC classification:

QA 76.9.M35 .O74 2021

Contents:

1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- 6. Algebra -- 7. Automata Theory -- 8. Matrix Theory -- 9. Graph Theory -- 10. Cryptography -- 11. Coding Theory -- 12. Language Theory and Semantics -- 13. Computability and Decidability -- 14. A Short History of Logic -- 15. Propositional and Predicate Logic -- 16. Advanced Topics in Logic -- 17. The Nature of Theorem Proving -- 18. Software Engineering Mathematics -- 19. Software Reliability and dependability -- 20. Formal Methods -- 21. Z Formal Specification Language -- 22. Statistics -- 23. Probability Theory -- 24. Operations Research -- 25. Basic Financial Mathematics.

Summary: This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	National University - Manila	LRC - Main General Circulation	Digital Forensic	GC QA 76.9.M35 .O74 2021 (Browse shelf(Opens below))	c.1	Available		NULIB000020478

Browsing LRC - Main shelves, Shelving location: General Circulation, Collection: Digital Forensic Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available						Next
Previous	GC QA 76.9.M35 .D573 1998 c.1 Discrete mathematics - CS218.	GC QA 76.9.M35 .D573 1998 c.2 Discrete mathematics - CS218.	GC QA 76.9.M35 .F67 2021 Discrete mathematics for computer science : an example-based introduction /	GC QA 76.9.M35 .O74 2021 Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications /	GC QA 76.9.M65 .E87 2020 Digital media ethics /	GC QA 76.9.M65 .Q56 2013 c.1 Ethics for the information age /	GC QA 76.9.M65 .Q56 2013 c.2 Ethics for the information age /	Next

Includes index

1. Mathematics in Civilization --
2. Sets, Relations and Functions --
3. Number Theory --
4. Mathematical Induction and Recursion --
5. Sequences, Series and Permutations and Combinations --
6. Algebra --
7. Automata Theory --
8. Matrix Theory --
9. Graph Theory --
10. Cryptography --
11. Coding Theory --
12. Language Theory and Semantics --
13. Computability and Decidability --
14. A Short History of Logic --
15. Propositional and Predicate Logic --
16. Advanced Topics in Logic --
17. The Nature of Theorem Proving --
18. Software Engineering Mathematics --
19. Software Reliability and dependability --
20. Formal Methods --
21. Z Formal Specification Language --
22. Statistics --
23. Probability Theory --
24. Operations Research --
25. Basic Financial Mathematics.

This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.

There are no comments on this title.

to post a comment.