<p/><br></br><p><b> About the Book </b></p></br></br>The authors present a unique presentation of logic by treating it as a tool. The text is geared to both computer science and math majors, but its emphasis on understanding logic and proof provides for an effective alternative to calculus for non-majors as well. There are numerous worked-out examples and over 900 exercises.<p/><br></br><p><b> Book Synopsis </b></p></br></br>Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.<p/><br></br><p><b> Review Quotes </b></p></br></br><br>"This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly... If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." - Peter G. Neumann<br>
Price Archive shows prices from various stores, lets you see history and find the cheapest. There is no actual sale on the website. For all support, inquiry and suggestion messagescommunication@pricearchive.us