Logic and Language

Neville Dean (Autor)

Buch | Softcover

320 Seiten

2003
Red Globe Press (Verlag)
978-0-333-91977-4 (ISBN)

Artikel merken

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.

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

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.

Erscheint lt. Verlag	2.5.2003
Sprache	englisch
Maße	189 x 246 mm
Gewicht	553 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-333-91977-7 / 0333919777
ISBN-13	978-0-333-91977-4 / 9780333919774
Zustand	Neuware