I attach an announcement regarding my recently published book "Logic and
Language".
Regards
Neville
"Logic and Language", by Neville Dean, Palgrave-Macmillan,
May 2003, ISBN 0333 91977 7. £27-99.
This book provides a gentle introduction to symbolic logic
at a comfortable pace that is suitable for a widerange of
students including: MSc conversion courses in computing; and
undergraduate courses in computer science, philosophy and
mathematics. It is particularly suitable for readers who do
not possess a strong mathematical background. Non-technical
readers will also find it a highly approachable introduction
to symbolic logic and its relationship to language.
The main purpose of this book is to develop an understanding
of the nature of symbolic logic, the skills of reasoning,
and an ability to work with abstract formalism; 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 all solutions 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 Senior Lecturer in Mathematics at Anglia
Polytechnic University. His research interests include:
formal specification, discrete mathematics and formal
methods, and he is the author of The Essence of Discrete
Mathematics (Prentice Hall).
-----------
'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 Henson, Head of Department of Computer Science,
University of Essex.
|