This is a textbook in preparation for an introductory undergraduate course on theoretical computer science.
