Edmund Robinson


I am currently teaching DCS301/AMCM060 Computability.

See here for course materials (available to QM account holders only): https://intranet.dcs.qmul.ac.uk/courses/coursenotes/DCS301/

Please see also Course Summary.

Encoding of datatypes and countability

Turing’s Account of Computability

Universal Machines

Other accounts of computability

Coverage of the notion of computability

Partial Recursive Functions

Primitive Recursion