Elementary Logic
For Software Development
Nonfiction, Computers, Advanced Computing, Information Technology, Programming, Software Development, General Computing
| Author: | Robert Lover | ISBN: | 9781848000827 |
| Publisher: | Springer London | Publication: | October 26, 2008 |
| Imprint: | Springer | Language: | English |
| Author: | Robert Lover |
| ISBN: | 9781848000827 |
| Publisher: | Springer London |
| Publication: | October 26, 2008 |
| Imprint: | Springer |
| Language: | English |
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 book 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.
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 book 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.
