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
Series: Cornerstones of Computing S
Number Of Pages: 320
Published: 2nd May 2003
Publisher: SPRINGER VERLAG GMBH
Country of Publication: GB
Dimensions (cm): 25.4 x 17.78 x 1.68
Weight (kg): 0.55
Edition Number: 1