Programming in Haskell by Graham Hutton A.I. A Modern Approach (ch 13-16) by Russell and Norvig A Tunnel In The Sky by Robert Heinlein The Revelation Space series (3 of the 5 books) by Alistair Reynolds Eon/Eternity (both by Greg Bear)
Also recommended in this reply