Logic and Language

Neville Dean (Autor)

Buch | Softcover

320 Seiten

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

Titel ist leider vergriffen;
keine Neuauflage

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
Zusatzinfo	320 p.
Sprache	englisch
Maße	189 x 246 mm
Gewicht	603 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