TY  - BOOK
AU  - Milanič, Martin, 
AU  - Servatius, Brigitte, 
AU  - Servatius, Herman, 
TI  -  Discrete mathematics with logic
SN  -  9780443187827
U1  - 511.1 M58 23
PY  - 2024///
CY  - London, [England], United Kingdom
PB  - Academic Press, an imprint of Elsevier, 
KW  - Discrete mathematics
N1  - 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; CoED; All programs; COECS; All programs
N2  - 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
ER  -