31Y7 Computability Option

Some references you may find useful.


The recommended course text is Fundamentals of the Theory of Computation, by Greenlaw and Hoover. Library call number SC 2.6 GRE. This is written for Computer Scientists, so should appeal to your intuitions about programming, while also giving you the technical knowledge you need. There are lots of books on Computability around. Some are more mathematical than others. Don't let that put you off the subject completely! Just find a book which is more to your taste. For less technical, more discursive material these two are very interesting:

Web sites:

Have a look yourself for pages on computability, but here are some links on Turing machines, Turing, and other pioneers of computing:

Back to the 31Y7 home page.

[] Research   [] Teaching   [] CV   [] Personal   [Home] Home
Dr Carron Shankland    Email: ces@cs.stir.ac.uk [email me]    Last revision: 13th September 1999