Notes and exercises on Computability by Cutland