This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. "Safe" - that is, paradox-free - informal set theory is introduced following on the heels of Russell's Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor's diagonalisation technique. Predicate logic "for the user" is introduced along with axioms and rules and extensive examples. Partial orders and the minimal condition are studied in detail with the latter shown to be equivalent to the induction principle. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of functions and sets. Techniques for solving recurrence relations including generating functions, the O- and o-notations, and trees are provided. Over 200 end of chapter exercises are included to further aid in the understanding and applications of discrete mathematics.
| ISBN: | 9783031304903 |
| Publication date: | 5th January 2025 |
| Author: | George J Tourlakis |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 253 pages |
| Series: | Synthesis Lectures on Mathematics & Statistics |
| Genres: |
Discrete mathematics Maths for computer scientists Mathematical logic Set theory |
This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. "Safe" - that is, paradox-free - informal set theory is introduced following on the heels of Russell's Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor's diagonalisation technique. Predicate logic "for the user" is introduced along with axioms and rules and extensive examples. Partial orders and the minimal condition are studied in detail with the latter shown to be equivalent to the induction principle. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of functions and sets. Techniques for solving recurrence relations including generating functions, the O- and o-notations, and trees are provided. Over 200 end of chapter exercises are included to further aid in the understanding and applications of discrete mathematics.
Discrete Mathematics features in the following genres: Discrete mathematics, Maths for computer scientists, Mathematical logic, Set theory
Discrete Mathematics is available in Paperback
Discrete Mathematics was written by George J Tourlakis and published by Springer an imprint of Springer International Publishing
Discrete Mathematics has 253 pages
Yes it is part of Synthesis Lectures on Mathematics & Statistics series
£35.99