Logic and Language

An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace that is suitable for a wide range of students including: undergraduates in computer science, maths, philosophy, and those on MSc conversion courses. It is particularly ideal for students with weak backgrounds in maths.>

List of contents

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.

About the author

NEVILLE DEAN is a Senior Lecturer in Mathematics at Anglia Polytechnic University, UK.

Product details

• Authors: Neville Dean
• Publisher: Macmillan
• Languages: English
• Product format: Paperback / Softback
• Released: 02.05.2003
• EAN: 9780333919774
• ISBN: 978-0-333-91977-4
• No. of pages: 320
• Series: Cornerstones of Computing S
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; B, computer science, Computer architecture & logic design, Arithmetic and logic units, Computer, Arithmetic and Logic Structures