Logic and language
Author(s)
Bibliographic Information
Logic and language
Palgrave Macmillan, 2003
- : pbk
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
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.
by "Nielsen BookData"