Conradie, Willem
Logic and Discrete Mathematics: A Concise Introduction
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 firstorder  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 readerfriendly 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:


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 selfstudy.
Keywords: Logic, mathematics, discrete mathematics, set theory, number theory, Discrete Mathematics
 Author(s)
 Conradie, Willem
 Goranko, Valentin
 Publisher
 John Wiley and Sons, Inc.
 Publication year
 2014
 Language
 en
 Edition
 1
 Page amount
 456 pages
 Category
 Natural Sciences
 Format
 Ebook
 eISBN (ePUB)
 9781118761090
 Printed ISBN
 9781118751275