AI Safety Prerequisites Course: Basic abstract representations of computation — LessWrong