Elementary Logic: For Software Development

By Robert Lover

Book Overview

The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. The reader's knowledge and understanding can be assessed through numerous examples and exercises. This useful text/reference emphasizes applications of logic to software development throughout. The text is derived from teaching material that has been proved to be clearly understandable. Those involved in computer science and software development will benefit greatly from using this book. It provides a reader-friendly foundation to logic and offers valuable insight into the topic, thereby serving as a helpful reference for practitioners, as well as students studying software development.

• Format: Paperback
• Language: English
• ISBN: 1848000812
• ISBN13: 9781848000810
• Release Date: September 2008
• Publisher: Springer
• Length: 314 Pages
• Weight: 1.05 lbs.
• Dimensions: 0.8" x 6.1" x 9.1"