+612 9045 4394
 
CHECKOUT
Logic and Language : Cornerstones of Computing S - Neville Dean

Logic and Language

Cornerstones of Computing S

Paperback Published: 2nd May 2003
ISBN: 9780333919774
Number Of Pages: 320

Share This Book:

Paperback

$144.25
or 4 easy payments of $36.06 with Learn more
Ships in 10 to 15 business days

The main purpose of the book is to develop an understanding of the nature of symbolic logic, the skills of reasoning, and an ability to work with abstract formalism, as this in turn will improve skills of program design and development. It takes a step-by-step approach, with copious worked examples and exercises, and also includes a glossary of helpful terms. All solutions to the exercises are provided in an appendix at the end of the book.
Logic and Language provides students with a solid basis for more detailed study in formal methods, artificial intelligence, mathematical logic and logic programming.

'Neville Dean is a thoughtful author who has managed to write an engaging text which is neither intimidating nor over-cautious in its approach...The book is very well-written and full of useful and enlightening examples and exercises. I like it a lot and would not hesitate to recommend it...' - Martin Hensen, Head of Department of Computer Science, University of Essex

Preface Language, Logic and Symbols Compound Propositions Propositional Forms Natural Deduction Conditional Connective Predicate Logic First Order Theories An Introduction to Logic Programming Appendix A - Solutions to Exercises Appendix B - Summary of Notation Appendix C - Glossary Appendix D - Summary of Deduction Rules Appendix E - Summary of Equivalences Bibliography Index

ISBN: 9780333919774
ISBN-10: 0333919777
Series: Cornerstones of Computing S
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 320
Published: 2nd May 2003
Publisher: SPRINGER VERLAG GMBH
Country of Publication: GB
Dimensions (cm): 24.7 x 19.0  x 1.8
Weight (kg): 0.6
Edition Number: 1