Neville Dean

Logic and Language

• Broschiertes Buch

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: Macmillan Education UK / Red Globe Press / Springer, Berlin
• Artikelnr. des Verlages: 978-0-333-91977-4
• 2003
• Seitenzahl: 320
• Englisch
• Abmessung: 17mm x 178mm x 254mm
• Gewicht: 603g
• ISBN-13: 9780333919774
• ISBN-10: 0333919777
• Artikelnr.: 26373481

Autorenporträt

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

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.