FIRST COURSE IN COMPUTABILITY by Rayward-Smith

FIRST COURSE IN COMPUTABILITY by Rayward-Smith

Regular price
Checking stock...
Regular price
Checking stock...
Summary

This text covers the classic material on computability using Turing machines, more recent results concerning complexity classes, NP-completeness and PSPACE-completeness. It also includes numerous exercises.

The feel-good place to buy books
  • Free US shipping over $15
  • Buying preloved emits 41% less CO2 than new
  • Millions of affordable books
  • Give your books a new home - sell them back to us!

FIRST COURSE IN COMPUTABILITY by Rayward-Smith

This book is designed on similar lines to the same author's "A First Course in Formal Language Theory". Together with this and "A First Course in Formal Logic and its Applications in Computer Science" by R.D. Dowsing et al., it is aimed at first- and second-year undergraduates with the intention of covering the formal theory required at the start of an honours degree in computing. This text covers the classic material on computability using Turing machines. The reader is led into the more recent results concerning complexity classes and the important work on NP-completeness and PSPACE-completeness. Emphasis is placed on clear and well motivated exposition, and numerous exercises are included.
SKU Unavailable
ISBN 13 9780632013074
ISBN 10 0632013079
Title FIRST COURSE IN COMPUTABILITY
Author Rayward-Smith
Condition Unavailable
Binding Type Other merchandise
Publisher McGraw-Hill Education - Europe
Year published 1985-12-16
Number of pages 198
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.