Logic and Discrete Mathematics: A Concise Introduction
Logic and Discrete Mathematics: A Concise Introduction
English | 2015 | ISBN: 1118751272 | 537 Pages | EPUB (True) | 57 MB
English | 2015 | ISBN: 1118751272 | 537 Pages | EPUB (True) | 57 MB
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.