Email Record: Introductory theory of computer science /