
- English
- ePUB (mobile friendly)
- Available on iOS & Android
About this book
A concise yet rigorous introduction to logic and discrete mathematics.
This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.
The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.
Key Features:
- Suitable for a variety of courses for students in both Mathematics and Computer Science.
- Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics
- Concise, clear and uncluttered presentation with numerous examples.
- Covers some applications including cryptographic systems, discrete probability and network algorithms.
Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover
- Title Page
- Copyright
- Table of Contents
- List of Boxes
- Preface
- Acknowledgements
- About the Companion Website
- Chapter 1: Preliminaries
- Chapter 2: Sets, Relations, Orders
- Chapter 3: Propositional Logic
- Chapter 4: First-Order Logic
- Chapter 5: Number Theory
- Chapter 6: Combinatorics
- Chapter 7: Graph Theory
- Index
- End User License Agreement