Notes for chapter 1: "What is computation?"