Bloomsbury Home
₹6522.00
This title is available for inspection 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.
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 | 14 Mar 2017 |
|---|---|
| Format | Ebook (PDF) |
| Edition | 1st |
| Extent | 320 |
| ISBN | 9780230006058 |
| Imprint | Red Globe Press |
| Publisher | Bloomsbury Publishing |
ONLINE RESOURCES
Bloomsbury Collections
This book is available on Bloomsbury Collections where your library has access.
Related Titles
