Discrete mathematics with logic / Martin Milanič, Brigitte Servatius, Herman Servatius.

By:

Milanič, Martin [author.]

Contributor(s):

London, [England], United Kingdom Academic Press, an imprint of Elsevier, 2024Description: xii, 228 pages : illustrations ; 23 cmISBN:

9780443187827

Subject(s):

Discrete mathematics

DDC classification:

23 511.1 M58 2024

Contents:

1: Discreteness2: Basic set theory3: Working with finite sets4: Formal logic5: Induction6: Set structures7: Elementary number theory8: Codes and cyphers9: Graphs and trees

Summary: This text focuses on three aspects of discrete mathematics necessary for understanding and mathematically solving discrete problems: Sets, to specify what we are talking about; Formal Logic, to discipline how we are talking about truth and falsity; and Predicate Logic, e=which connects them. IN particular, the theory of mathematical induction is presented to highlight all the key ideas needed to make a sound and convincing argument and supported by novel exercises that allow a student to demonstrate understanding and gain proof writing maturity without resorting to the usual dry derivation of formulas requiring algebraic tricks.

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Books	College Library General Circulation Section	GC	GC 511.1 M58 2024 (Browse shelf(Opens below))	Available	HNU005584

Includes index.

1: Discreteness2: Basic set theory3: Working with finite sets4: Formal logic5: Induction6: Set structures7: Elementary number theory8: Codes and cyphers9: Graphs and trees

This text focuses on three aspects of discrete mathematics necessary for understanding and mathematically solving discrete problems: Sets, to specify what we are talking about; Formal Logic, to discipline how we are talking about truth and falsity; and Predicate Logic, e=which connects them. IN particular, the theory of mathematical induction is presented to highlight all the key ideas needed to make a sound and convincing argument and supported by novel exercises that allow a student to demonstrate understanding and gain proof writing maturity without resorting to the usual dry derivation of formulas requiring algebraic tricks.