Neville Dean

Logic and Language (eBook, PDF)

• Format: PDF

Produktbeschreibung

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.

Produktdetails

• Verlag: Bloomsbury eBooks UK
• Seitenzahl: 320
• Erscheinungstermin: 14. März 2017
• Englisch
• ISBN-13: 9780230006058
• Artikelnr.: 54274168

Autorenporträt

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

Inhaltsangabe

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.