This ebook features a unique arrangement of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, providing the material that has been tested and refined by the authors in university courses taught over a decade.
Logic and Discrete Mathematics: A Concise Introduction, (PDF) is targeted mainly at undergraduate courses for students in mathematics and computer science, but the ebook will also be a valuable resource for graduate modules and for self-study.
The sections on logic – propositional and first-order – provide a strong toolkit for logical reasoning, stressing the conceptual understanding of the language and the semantics of classical logic in addition to practical applications through the easy-to-understand and use deductive systems of Semantic Tableaux and Resolution. The sections on set theory, number theory, combinatorics, and graph theory merge the necessary minimum of theory with several examples and selected applications. Written in a reader-friendly and clear style, every section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the supplementary solutions manual.
- Clear, concise, and uncluttered presentation with numerous examples.
- Appropriate for a variety of courses for students in both Mathematics and Computer Science.
- Includes some applications including cryptographic systems, discrete probability, and network algorithms.
- Comprehensive, in-depth coverage of classical logic, combined with a robust exposition of a selection of the most essential fields of discrete mathematics
NOTE: The product only includes the ebook, Logic and Discrete Mathematics: A Concise Introduction, in PDF. No access codes are included.