A course devoted to some or all of the following topics: recursion theorem, productive and creative sets, recursively inseparable sets, 1-reducibility, simple sets, hypersimple sets, Turing reducibility, Friedberg-Muchnik theorem.