本课程选用美国MIT教授编写的教材《计算理论导引》。教学内容包括:形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。在时间安排上，考虑到慕课的特点，共进行10周，前八周为学习时间，最后两周为考试时间。考虑到由浅入深的需要，前4周讲述形式语言与自动机理论，中间2周讲授可计算性理论，最后两周讲述计算复杂性理论。