A Logical Approach to Discrete Math

This text attempts to change the way logic and discrete math are taught in computer science and math. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. A Logical Approach to Discrete Math presents a thorough, comprehensive treatment of the subject using a flexible, modular format. The book is organized so that selected chapters in the book can either be studied together or used as a reference. The material in the book is ideal for a freshman/sophomore level course in computer science or mathematics. In addition, the authors believe that the notion of proofs is important in most areas of study, and can be learned by any student, making it an effective alternative to calculus. §The core of the book consists of textual substitution, equality and assignments, boolean expressions, propositional calculus,quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.