This page gives access to information about courses taught by Gary T. Leavens for the Department of Computer Science at Iowa State University.
Lecture notes (sometimes only partial), homeworks, and tests for my courses are available via the WWW below. If you are an instructor at a college or university, I would be happy to e-mail you complete lecture notes, and the homework and test answers that I have (but isn't working them out half the fun?). If I don't already know you, please send me a request by mail on your school's letterhead.
All my lecture notes, homeworks, and tests are copyright (c) 1989-2000 by Gary T. Leavens. Permission is granted for you to make copies for educational and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved.
I expect that you will give proper credit if you use or adapt my notes, homeworks, or tests in your own classes or in textbooks you may develop.
See also the Teaching About Programming Languages Project, where you can find course information by other academics.