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 Advanced Transport Systems by Robert Lover
Cover of the book Stochastic Analysis of Offshore Steel Structures by Robert Lover
Cover of the book Passive Methods as a Solution for Improving Indoor Environments by Robert Lover
Cover of the book Orthopaedic Problems in Inherited Skeletal Disorders by Robert Lover
Cover of the book Autonomous Intelligent Vehicles by Robert Lover
Cover of the book Sex and Gender Aspects in Clinical Medicine by Robert Lover
Cover of the book ECG Signal Processing, Classification and Interpretation by Robert Lover
Cover of the book Control of Noise and Structural Vibration by Robert Lover
Cover of the book Green Diesel Engines by Robert Lover
Cover of the book Warranty Data Collection and Analysis by Robert Lover
Cover of the book Health Information Systems by Robert Lover
Cover of the book Decentralized Reasoning in Ambient Intelligence by Robert Lover
Cover of the book Intermittent Hypoxia and Human Diseases by Robert Lover
Cover of the book Transformation Electromagnetics and Metamaterials by Robert Lover
Cover of the book Monotone Complete C*-algebras and Generic Dynamics 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