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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
George Tourlakis, 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.
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.
In addition, this book:
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 9,90 per la spedizione da Germania a Italia
Destinazione, tempi e costiGRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiDa: Buchpark, Trebbin, Germania
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Codice articolo 42819955/1
Quantità: 2 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 42819955/3
Quantità: 1 disponibili
Da: Books From California, Simi Valley, CA, U.S.A.
hardcover. Condizione: Very Good. Codice articolo mon0003615278
Quantità: 1 disponibili
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-45699
Quantità: 2 disponibili
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-379861
Quantità: 5 disponibili
Da: SMASS Sellers, IRVING, TX, U.S.A.
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-45699
Quantità: 2 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. 1st ed. 2024 edition NO-PA16APR2015-KAP. Codice articolo 26396297927
Quantità: 4 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: New. Codice articolo 18396297933
Quantità: 4 disponibili
Da: moluna, Greven, Germania
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a concise approach with examples and exercises to help readers understand key definitions and theoremsFeatures careful attention to current and updated terminology, mathematical techniques, and resultsPresents coverage of equivalen. Codice articolo 834045530
Quantità: Più di 20 disponibili
Da: ALLBOOKS1, Direk, SA, Australia
Codice articolo SHUB379861
Quantità: 1 disponibili