Topics includes common languages, context-free languages, the Church-Turing thesis, decidability and reducibility.