{"product_id":"discrete-mathematics-a-concise-introduction-hardcover","title":"Discrete Mathematics: A Concise Introduction - Hardcover","description":"\u003cp\u003eby \u003cb\u003eGeorge Tourlakis\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eThis 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 \u003ci\u003eminimal condition\u003c\/i\u003e are studied in detail with the latter shown to be equivalent to the \u003ci\u003einduction principle\u003c\/i\u003e. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of \u003ci\u003efunctions\u003c\/i\u003e \u003ci\u003eand\u003c\/i\u003e \u003ci\u003esets\u003c\/i\u003e. 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.\u003c\/p\u003e\u003ch3\u003eBack Jacket\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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 \u003ci\u003eminimal condition\u003c\/i\u003e are studied in detail with the latter shown to be equivalent to the \u003ci\u003einduction principle\u003c\/i\u003e. Mathematical induction is illustrated with several examples and is followed by a thorough exposition of inductive definitions of \u003ci\u003efunctions\u003c\/i\u003e \u003ci\u003eand\u003c\/i\u003e \u003ci\u003esets\u003c\/i\u003e. 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. \u003c\/p\u003e \u003cp\u003eIn addition, this book: \u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eProvides a concise but mathematically rigorous and correct approach with examples and exercises to help readers understand key definitions and theorems;\u003c\/li\u003e\n\u003cli\u003eFeatures careful attention to current mathematical terminology, mathematical techniques, and results;\u003c\/li\u003e\n\u003cli\u003ePresents coverage of equivalence and order relations, minimal condition, and inductive definitions of functions and sets.\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003e\u003c\/p\u003e\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003e\u003cb\u003eGeorge Tourlakis\u003c\/b\u003e, Ph.D., is a Professor in the Department of Electrical Engineering and Computer Science at York University, Toronto, Canada. He obtained his B.Sc. in mechanical and electrical engineering from the National Technical University of Athens and his M.Sc. and Ph.D. in computer science from the University of Toronto. Dr. Tourlakis has authored eight books in computability, logic, and axiomatic set theory and has also authored several journal articles in computability and modal logic. His research interests include calculational logic, modal logic, proof theory, computability with partial oracles, and complexity theory.\u003c\/p\u003e\u003cp\u003e\u003ci\u003e\u003c\/i\u003e\u003c\/p\u003e\u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 253\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.79 x 9.61 x 6.61 IN\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e January 04, 2024\u003c\/div\u003e","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":42726822772799,"sku":"9783031304873","price":87.46,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0105\/8226\/1823\/files\/07495f5356cc36029b96bd24a732c80e.webp?v=1765112468","url":"https:\/\/dhlswag.com\/products\/discrete-mathematics-a-concise-introduction-hardcover","provider":"BBB","version":"1.0","type":"link"}