Oh, and one book I rather enjoyed was Ideas That Created the Future, which is not exactly a textbook (but is probably used by the author as such) so much as a survey on the history of computer science via primary sources. Each source has a 1-2 page summary providing context, but the meat is reading the original papers on computer design, Complexity Theory, various papers on logic and proofs and proofs of software properties, theorem provers, NP completeness, neural networks, etc.
One thing I learned is that the idea of a computational neural network predates actual working general purpose computers by a few years, and is actually cited in the construction of computers as an inspiration.
One thing I learned is that the idea of a computational neural network predates actual working general purpose computers by a few years, and is actually cited in the construction of computers as an inspiration.
https://direct.mit.edu/books/edited-volume/5003/Ideas-That-C...