Stuff we've received from people
- == Responses from a message Lynn sent to a CS ed mailing list: ==
- I teach a sophomore level course in CS theory (automata theory) and you're welcome to look at my web notes. Go to www.cs.appstate.edu/~dap/classes/2490 . I wrote them to go along with the Cohen text, but they mostly stand alone.
Long time ago, I wrote a very informal introduction to Logic. It is still available at: http://blackcat.brynmawr.edu/~dkumar/UGAI/logic.html You probably need something more than what is there, but thought I'd send it along just in case. A very nice essay on sorting, actually hybrid sorting (i.e. combining quicksort and insertion sort) is in Jon Bentley's Programming Pearls, 2nd edition.
I'd use Aho & Ullman's Turtle Book (Foundations of CS) as a good reference for at least 1/2 of your list: Automata, Complexity, Searching/Sorting, Logic
- I was going to suggest Harel's Algorithmics book, figuring it to cost around $30, but I found it on Amazon at $74.52! I'm shocked. I guess I haven't been paying much attention, but while a Java textbook needs to be hacked every new release, Harel's book doesn't, which means it should sell much more cheaply.
- This semester in my CS-2 course I'm requiring Setsoft's "Java Precisely", which retails at Amazon for $14.99. Maybe we have to wait until someone like Dover republishes Computation: Finite and Infinite machines.