The book Thinking as Computation has been used as the text for a first-year undergraduate course at the University of Toronto. Here is some additional material that may be useful to instructors. This material is free, of course, but without support or warranty.
Instructions on using these files can be found in Appendix A of the book.
Please let me know of any other mistakes you find.
Best of luck!
Hector Levesque