Logic and Language

  • Textbook
Logic and Language cover

Logic and Language

  • Textbook
Quantity
In stock
$85.45
This title is available for exam copy requests

Description

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.

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

Product details

Published Mar 14 2017
Format Ebook (PDF)
Edition 1st
Extent 320
ISBN 9780230006058
Imprint Red Globe Press
Publisher Bloomsbury Publishing

About the contributors

Author

Neville Dean

NEVILLE DEAN is a Senior Lecturer in Mathematics a…

Related Titles

Internet Multimedia cover
$85.45 RRP $94.95

Free US delivery on orders $35 or over