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
Series: Cornerstones of Computing S
Tertiary; University or College
Number Of Pages: 320
Published: 2nd May 2003
Publisher: SPRINGER VERLAG GMBH
Country of Publication: GB
Dimensions (cm): 24.7 x 19.0
Weight (kg): 0.6
Edition Number: 1