Discrete mathematics with logic /
Martin Milanič, Brigitte Servatius, Herman Servatius.
- xii, 228 pages : illustrations ; 23 cm.
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.
College of Education All programs College of Engineering and Computer Studies All programs