Logic and Language

  • Authors
  • Neville┬áDean
Book

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Neville Dean
    Pages 1-13
  3. Neville Dean
    Pages 15-35
  4. Neville Dean
    Pages 37-71
  5. Neville Dean
    Pages 73-116
  6. Neville Dean
    Pages 117-142
  7. Neville Dean
    Pages 143-173
  8. Neville Dean
    Pages 175-198
  9. Neville Dean
    Pages 199-216
  10. Back Matter
    Pages 217-298

About this book

Introduction

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.

Keywords

artificial intelligence computer science conversion formal logic formal method intelligence logic logic programming mathematical logic Notation philosophy programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-230-00605-8
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2003
  • Publisher Name Palgrave, London
  • eBook Packages Computer Science
  • Print ISBN 978-0-333-91977-4
  • Online ISBN 978-0-230-00605-8
  • About this book