I too took this course as a freshman, and it was one of the most enlightening things I've ever done for my software engineering career. It's worth getting the most recent copy--it has a lot of corrections and entire new chapters on interesting things (automatons, lambda calculus, lattices, graphs...)

Let me know if you have any questions about its content or my experience.