Elementary Logic

For Software Development

Nonfiction, Computers, Advanced Computing, Information Technology, Programming, Software Development, General Computing
Cover of the book Elementary Logic by Robert Lover, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer London

Cover of the book Life Cycle Assessment of Renewable Energy Sources by Robert Lover
Cover of the book Cancer Chemotherapy: an Introduction by Robert Lover
Cover of the book Osteoporosis in Clinical Practice by Robert Lover
Cover of the book Design of Advanced Photocatalytic Materials for Energy and Environmental Applications by Robert Lover
Cover of the book Guide to Reliable Distributed Systems by Robert Lover
Cover of the book Max-linear Systems: Theory and Algorithms by Robert Lover
Cover of the book Mine Safety by Robert Lover
Cover of the book Anterior Knee Pain and Patellar Instability by Robert Lover
Cover of the book Nonlinear Power Flow Control Design by Robert Lover
Cover of the book Practical Preimplantation Genetic Diagnosis by Robert Lover
Cover of the book Congenital Displacement of the Hip Joint by Robert Lover
Cover of the book Statistical and Neural Classifiers by Robert Lover
Cover of the book Multicore Programming Using the ParC Language by Robert Lover
Cover of the book The Essential PIC18® Microcontroller by Robert Lover
Cover of the book X-Ray Computed Tomography in Biomedical Engineering by Robert Lover
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy