XWe have detected your location as outside the U.S/Canada, if you think this is wrong, you can choose your location.

Macmillan Higher Education

Cart

Continue Shopping
All prices are shown excluding Tax
The submitted promocode is invalid
Discount code already used. It can only be used once.
* Applied promocode: ×

Important information on your ebook order

Important information on your access card order

Logic and Language

Author(s):
Publisher:

Red Globe Press

Pages: 320
Downloads:

Flyer

Further Actions:

Recommend to library

AVAILABLE FORMATS

Paperback - 9780333919774

02 May 2003

$79.99

Free Shipping

In stock

Ebook - 9780230006058

14 March 2017

$63.99

In stock

All prices are shown excluding Tax

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...

Show More

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.

Show Less

Provides an introduction to formal logics without the deep mathematical theory
Provides an overview of the nature of formal logics
Gives a solid basis for further more detailed study, if required, in formal methods, artificial intelligence, mathematical logic, and logic programming
Compares different systems of logic, and demonstrates how logic can be applied

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.

Add a review

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

Show More

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

Show Less

New Publications 

Best Sellers