OmschrijvingA concise yet rigorous introduction to logic and discretemathematics.This book features a unique combination of comprehensivecoverage of logic with a solid exposition of the most importantfields of di...
|Verwachte levertijd:||3 werkdagen|
A concise yet rigorous introduction to logic and discretemathematics.
This book features a unique combination of comprehensivecoverage of logic with a solid exposition of the most importantfields of discrete mathematics, presenting material that has beentested and refined by the authors in university courses taught overmore than a decade.
The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizingthe conceptual understanding of the language and the semantics ofclassical logic as well as practical applications through the easyto understand and use deductive systems of Semantic Tableaux andResolution. The chapters on set theory, number theory,combinatorics and graph theory combine the necessary minimum oftheory with numerous examples and selected applications. Written in a clear and reader-friendly style, each sectionends with an extensive set of exercises, most of them provided withcomplete solutions which are available in the accompanyingsolutions manual.
|Uitgever||John Wiley & Sons Ltd|