Overview
- Provides an introduction to formal logics without the deep mathematical theory
Provides an overview of the nature of formal logics
Gives a solid basis for further more detailed study, if required, in formal methods, artificial intelligence, mathematical logic, and logic programming
Compares different systems of logic, and demonstrates how logic can be applied
Access this book
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
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.
About the author
NEVILLE DEAN is a Senior Lecturer in Mathematics at Anglia Polytechnic University.
Bibliographic Information
Book Title: Logic and Language
Authors: Neville Dean
DOI: https://doi.org/10.1007/978-0-230-00605-8
Publisher: Red Globe Press London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2003
Edition Number: 1
Number of Pages: 320
Additional Information: Previously published under the imprint Palgrave
Topics: Arithmetic and Logic Structures