30 ms·
Ask HN: What are the most fundamental books on computer science?
I'm relatively new to CS (4 years) and I've seen a lot of great book recommendations here. But every discipline has it's most fundamental books ... e.g. philosophy -> Socrates, Plato, Aristotle, civil law -> code civil, christianity -> bible, etc. one should read to get a truly deep understanding.
What are those books for CS?
- riemann77 7y agocomputational complexity a modern approach by sanjeev arora don knuth's art of computer programming [if you like some rigor][it is a bit time consuming to read the whole thing , but be sure to atleast try reading the first volume]
- einpoklum 7y ago1. I think it's Barak and Arora. Also, it feels a bit too encyclopedic to be fundamental. Still, looks like a good book (I'll be honest and say I just skimmed it) 2. Like I said elsewhere - TAoCP is an impressive book, but it's certainly not fundamental. It's not used as the "fundament" or foundation of people's CS knowledge.
- jrauser 7y agoCLR
- qntty 7y agoStructure and Interpretation of Computer Programs is frequently recommended here. I would especially recommend understanding section 3.2, which I've found very helpful for understanding the environment model of other languages. Computer Systems: A Programmer's Perspective has a lot of good explanations of hardware/os subsystems that can be hard to find detailed explanations of elsewhere. I especially like the sections on virtual memory.
- srijanshetty 7y agoThe interesting bit is that the original author's no longer feel that SICP is the right way to approach programming any more. In their words, we've moved to 'programming by poking' and hence the latest incarnation of the course uses python and not LISP.
- afarrell 7y agoI believe you're referring to the fact that MIT's intro class for EECS was changed from scheme to python. This was not a translation but instead the intro curriculum as a whole was re-designed. 6.01 isn't really an incarnation of 6.001. It does reflect a "programming by poking" approach in that it does not try to have the students build their understanding from a set of core axioms. Instead, students add/modify code within an overall framework. I took 6.01 in the fall of 2008 and found that this it less feels conceptually satisfying but does indeed bear a closer resemblance resemble real-life programming. https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-01sc-introduction-to-electrical-engineering-and-computer-science-i-spring-2011/ https://ocw.mit.edu/courses/electrical-engineering-and-compu... I never took the original 6.001, so my comparison point is actually a stripped-down reincarnation of the original course which is taught by alumni volunteers during the January IAP term. http://web.mit.edu/benmv/6.001/6.184/website/ http://web.mit.edu/benmv/6.001/6.184/website/
- bachmeier 7y ago"The interesting bit is that the original author's no longer feel that SICP is the right way to approach programming any more." I think it's more accurate to say that they didn't see a reason to require engineers to learn CS. The class is now completely different. Why python? Not because it's a good programming language, but because there was a library the students could call to control a robot, which was the new goal of the class, not programming. Here's the quote: You have to do basic science on your libraries to see how they work, trying out different inputs and seeing how the code reacts. This is a fundamentally different job, and it needed a different course. So the good thing about the new 6.001 was that it was robot-centered — you had to program a little robot to move around. And robots are not like resistors, behaving according to ideal functions. Wheels slip, the environment changes, etc — you have to build in robustness to the system, in a different way than the one SICP discusses. And why Python, then? Well, said Sussman, it probably just had a library already implemented for the robotics interface, that was all. https://www.wisdomandwonder.com/link/2110/why-mit-switched-from-scheme-to-python https://www.wisdomandwonder.com/link/2110/why-mit-switched-f...
- LandR 7y agoSICP if you want to learn programming side of CS.
- praxyz 7y agoRelevant: Recent post on SICP discussed on HN: https://news.ycombinator.com/item?id=21299546 https://news.ycombinator.com/item?id=21299546
- HorkHunter 7y agoI would personally say SICP. Also a bit far fetched, but I would love to see more people read Compilers: Principles, Techniques, and Tools aka The Dragon Book, is what made me fall in love with compilers
- srijanshetty 7y agoThe books that really shaped my understanding of CS are: - Theoretical CS: - Compilers: Principles, Techniques, and Tools (The Dragon Book) - Introduction to the Theory of Computation, Sipser - Programming: - Java Concurrency In Practice, Brian Goetz - Generics in the Java Programming Language, Gilad Bracha - Professor Frisby's Mostly Adequate Guide to Functional Programming - Unix for Poets - Modern C++
- agentultra 7y agoThe Art of Computer Programming Structure and Interpretation of Computer Programs Purely Functional Data Structures Programming in the 1990s A Logical Approach to Discrete Math
- purple_ducks 7y ago> The Art of Computer Programming I'm guessing like most people who bought it, it sits collecting dust on the shelf. Youthful naivety is the only reason I bought it. Completely impenetrable but look, "I'm a real™ software engineer now"
- mschaef 7y agoThat's pretty much what my copy does. I'm grateful the profession has TAOCP as a resource, but the reality for the majority of workaday engineers is that most of the sort of art described in that series is abstracted out into libraries. As fun or challenging as it might be to thinking about developing your own implementation of a fundamental algorithm or data structure, you're probably far better off reusing whatever you have available to you already in your environment. This has the tendency of pushing the work to the boundaries, where engineering is more about connecting existing pieces than anything else. (Which isn't a problem... I'd hate to live in a world where every home that's built requires the builder to cut down trees and process their own lumber, etc.) I do least take solace in the fact that the contents of TAOCP are a lot less likely to get stale than the majority of tech books.
- commandlinefan 7y ago> you're probably far better off reusing whatever you have available to you already in your environment I think even Knuth himself would agree here - but it’s also worth going through the implementation yourself once or twice (even if you just throw it away) until you really understand what it’s doing, so that you know what’s most useful when.
- mschaef 7y ago
- modzel1990 7y agoSICP gave me nice insight into the way that things works but I found much more valuable to read 'The Elements of Computing Systems'. It is a long book but you will build each element of the computer if you follow it. It might not reflect nowadays computers, but surely it will bring an idea how everything works, from the very ground of gates and bits to the kernel, compiling and so on... just my personal opinion.
- dcchambers 7y agoK&R (https://en.wikipedia.org/wiki/The_C_Programming_Language https://en.wikipedia.org/wiki/The_C_Programming_Language)
- einpoklum 7y agoWhile it's a great book to learn C with - easy to follow and just the right length for an introductory book - I'd say it's more of an (software) Engineering book than a (computer) Science book.
- e12e 7y agoI thought it was wildly agreed that it's a pretty terrible book to learn modern C with? It is however in other respects a fantastic example of great technical writing and a great text book. But as I understand it it's today mostly an extraordinarily great book on inflicting legwounds on yourself.
- randcraw 7y agoK&R C is a minimalist introduction to the C language. And I love it for that. The book does not try to forewarn you of the myriad pitfalls inherent in C code. Nor does it delve into the language's extended API available via a plethora of internal and external libraries. What the book does do in only 228 pages is get you up and operational in C as quickly as possible. Then caveat coder. Personally, I'd like to see more minimalist CS books. I'm tired of having to surf through introductory tomes that often exceed 1000 pages. I'd rather an intro book introduce me to its concepts in as few pages as possible and put the programming advice and copious reference materials elsewhere, like online.
- AnimalMuppet 7y agoIt is. But I wonder if, when people say "CS", they really mean "Software Engineering". Of people who get a CS degree, I'd guess that 95% of them are going to work as Software Engineers rather than as Computer Scientists. So: Yes, it's more an engineering book. Is that what michalu actually wanted, but didn't know to ask for by the right name?
- amirathi 7y agoIntroduction to Algorithms by Cormen et al.
- codesushi42 7y agoNo. The authors are purposely obscure and arrogant. There are much better books to learn algorithms from. Even Elements of Programming Interviews is better. It is worth coming back to if you want to read proofs to understand things in depth. But it is terrible as a fundamental instructive text.
- reacweb 7y agoStructure and Interpretation of Computer Programs (), Introduction to Automata Theory, Languages and Computation (Hopcroft Ullman), don knuth's art of computer programming, Tanenbaum's Modern Operating Systems, Compilers: Principles, Techniques, and Tools5 (Aho Sethi Ullman)
- einpoklum 7y agoWhile "The Art of Computer Programming" is a great book, it's not a fundamental book. I'd say it's more of a re-distillation plus some of Knuth's personal take on things. Also, I'd add, at least: Introduction to Algorithms / Cormen, Leiserson & Rivest (and recently also Stein)
- javajosh 7y ago>While "The Art of Computer Programming" is a great book, it's not a fundamental book Agreed. It's very much like "Feynman's Lectures" in this way.
- physicsyogi 7y agoFeynman's Lectures are great for understanding conceptually, but they don't teach you what you need to know to solve research problems. Some of what's in TAOCP is directly applicable to research (for example, the combinatorics part).
- probinso 7y agoIf you are going to choose Socrates for philosophy and bible for Christianity, its inline for "The Art of Computer Programming" for Computer Science There are much better resources for philosophy and Christianity, fundamental \neq best
- TimTheTinker 7y agoIf by "fundamental" you mean "original research" then yes - a lot of Knuth's content is re-distillations on original research. On the other hand, Knuth has an incredible capacity to read, interpret, understand, and especially apply and expand the contents of research papers -- far beyond the capacity of nearly anyone else. So if you want to spend a lot of time reading through ACM and IEEE journals, have fun. But you'll understand the research and be able to apply it far better when helped by Knuth.
- ricc 7y agoThe answers from this[0] post can be helpful. [0] https://news.ycombinator.com/item?id=20729252 https://news.ycombinator.com/item?id=20729252 (What book to read to get a footing in CS theory?)
- scottndecker 7y agoNot sure I'd say "fundamental" but possibly the one I refer junior developers to the most often is Clean Code
- FillardMillmore 7y agoI'm going to cast a vote for 'Unix & Linux System Administration Handbook' - it's been around a long time and is currently on edition 5. It's the book that made me fall in love with system administration. It's an extensive and well-rounded look at various fundamental system administration topics with examples included from multiple different *nix distributions (topics like work management, logging, networking, security, the kernel, systemd, permissions, etc.). If you're at all interested in Linux, this is a great book to have on your shelf. https://admin.com/ https://admin.com/
- artimaeis 7y agoA lot of great books have already been recommended. Going to go a different route than others here have and recommend The Elements of Computing Systems. It's a book that explores hardware from the ground up. It's one of the most insightful books I've found for getting a real intuition for hardware.
- prepend 7y agoJoel on Software by Joel Spolsky Code Complete by McConnell
- nickmonad 7y agoI would classify these in the realm of software engineering, not computer science.
- prepend 7y agoThanks, I agree. I was thinking about adding a note with something like “Not sure if you’re using a broad of narrow definition for computer science. Many people use CS to refer to lots of things including software. If broad, I found the books below really helpful in planning and writing software. If precise, then please ignore them.”
- rawfool 7y agoThe New Turing Omnibus: Sixty-Six Excursions in Computer Science.
- jamil7 7y agoI've found this to be a pretty good list (https://teachyourselfcs.com https://teachyourselfcs.com), I can't say I've read every book on the list but I hope to someday.
- brookhaven_dude 7y agoPanini's Ashtadhyayi.
- mangamadaiyan 7y agoWhat is it, and what makes it a fundamental CS book?
- HorkHunter 7y agoYou know every one who should call himself a programmer should learn Sanskrit, the language of quantum computing. /s
- mangamadaiyan 7y agoOh, I'm fully aware of that theme :) I just wanted to know _what_ the supporting arguments were.
- aptmiguk 7y agoCheck out https://github.com/cbourke https://github.com/cbourke - free Comp Sci books (I, II, and III).
- jakelazaroff 7y agoDesign Patterns: Elements of Reusable Object-Oriented Software (also known colloquially as “Gang of Four”).
- crimsonalucard 7y agoI avoid the principles espoused by this book like the plague. There are entire domains of programming don't cover this stuff. I'm not saying that design patterns isn't right for you, but the fact that me and many other programmers avoid it shows that it's not fundamental at all.
- jakelazaroff 7y agoSure, some of them don’t apply if you don’t do object-oriented programming. The vast majority of programmers do, though. And I challenge you to name a domain in which you can’t use the Facade or Command patterns.
- randcraw 7y agoIf design patterns don't overlap in a major way with objects then something is very wrong. Re-use of design (concepts and implementation) lie at the heart of both initiatives.
- dominotw 7y agoleetcode.com
- un_montagnard 7y agoRefactoring by Martin Fowler and Kent Beck. Patterns of Enterprise Application Architecture by Martin Fowler. Domain Driven Design by Eric Evans. Growing Object-Oriented Software, guided by tests by Steve Freeman and Nat Pryce.
- javajosh 7y agoThere's a bevy of (pretty good) books in this "Enterprise Software" vein, but I don't think they are "computer science" books. If CS is fundamental physics, then this would be something like biology - all biological systems are composed of physical systems, and refer to physics sometimes, but the concern is a different, much higher, level of abstraction. An enterprise system is many orders of magnitude more complex than what, e.g. Knuth deals with (programs that are expressed in MMIX in a few 10s of operations assuming a very small amount of running memory). In the same way, an ant is far more complex than a single hydrogen atom.
- discreteevent 7y agoYou make a fair point but I think it raises a more general question that has come up before plenty of times and that is whether classical computer science is good training for 95% of students. Take civil engineers. Yes they will do some physics but usually only basic stuff in first year. After that they focus more on the higher level systems they will be working with because most working civil engineers will never need anything more advanced than first year physics. So if the person who posted this Ask HN is not going to do CS research (or the like) then Domain Driven Design might be as fundamental to their education as structural engineering is to a civil engineer. The fact is that nearly all systems that we work with are composed of services/models of some kind. DDD deals with these but more importantly deals with the domain where you can make the most impact as a working engineer (as opposed to a scientist who is like a force multiplier but we need a lot less of them). "Domain work is messy and demands a lot of complicated new knowledge that doesn’t seem to add to a computer scientist’s capabilities. Instead, the technical talent goes to work on elaborate frameworks, trying to solve domain problems with technology. Learning about and modeling the domain is left to others. Complexity in the heart of software has to be tackled head-on. To do otherwise is to risk irrelevance" - Eric Evans
- ken 7y agoThe Art of the Metaobject Protocol.
- bo1024 7y agoCS is like math, not philosophy -- the fundamental ideas are gradually refined by a community, and eventually someone puts them into a book. Usually there are many books and people have different favorites. So the closest parallels are original research papers like Turing's and Shannon's; but you're probably better off reading more recent textbooks. That said, to balance out the heavy emphasis on programming and engineering books here, some recommendations: - Sipser. Introduction to the Theory of Computation. - Russell, Norvig. AI: A Modern Approach. - For algorithms I don't have a preference. There is Dasgupta-Papadimitriou-Vazirani; Cormen-Leisersen-Rivest-Stein; Kleinberg-Tardos; and more. A bit farther from core CS, I also like: - Cover, Thomas. Elements of Information Theory. - Li, Vitanyi. An Introduction to Kolmogorov Complexity and Its Applications
- einpoklum 7y agoSome of these are quite fundamental but not very popular. Which is good, because people forget those. I'm not much of a Sipser guy but maybe it's because they didn't use it at my alma mater when I took my Theory of Computation and Automata courses.
- sixstringtheory 7y agoSipser was the one my alma mater used, so if you could, please post the one you used! I’d be interested in an alternative.
- goric 7y agoHopcroft, Motwani, and Ullman's Introduction to Automata Theory, Languages, and Computation by is another classic text
- einpoklum 7y agoIt was a university-internal booklet written by Prof. Oded Goldreich when he had taught the course in the early 1990s. Don't think it was ever published as a proper book. See: https://webcourse.cs.technion.ac.il/236343/Spring2004/book.html https://webcourse.cs.technion.ac.il/236343/Spring2004/book.h...
- Anon84 7y agoI'm going to go a bit against the grain here and suggest the Feynman Lectures on Computation: https://www.amazon.com/Feynman-Lectures-Computation-Frontiers-Physics/dp/0738202967/ https://www.amazon.com/Feynman-Lectures-Computation-Frontier... In pure Feynman style he builds up a the theory of computation from first principles. YMMV but it really helped me put many of the ideas and concepts from my CS MS into context and find new ways in which they relate with each other.
- omarhaneef 7y agoCS is such a wide field, I think that fundamental texts mean different things to different people. These are some examples of various CS verticals (from off the top of my head), and each has canonical texts: For instance, there is a whole subset devoted to turing machines, the halting problem, finite state machines, provability, incompleteness, the set of all sets, diagonalization proofs etc There is a whole subset devoted to programming languages: computational complexity, reducing the time spent in loops, and so on. Then there is a whole bunch spent on best practices: git and other version control, review, commenting style. Then there is this actual thing called programming: learning different languages, arguing when functional is better than object oriented, please build a web server in prolog as an exercise, and so on. Then there is a bunch about operating systems, and where the hardware meets the software, and garbage collection, and parsing and all that stuff. Then databases are their own thing: boyce-codd normal form, ACID properties, is the web a database? how do you prove the ACID properties? Distributed databases, and B-trees time for storage and retrieval. These are just various sort of "verticals". I myself like to think of it in terms of specializations: data science/machine learning is one, web apps are another, mobile apps are another and so on. Each specialization depends on what useful thing you are trying to achieve.
- Anon84 7y agoSpeaking of specializations... sometime ago I asked a similar question about AI and ML. Unfortunately it never got much attention: https://news.ycombinator.com/item?id=20920018 https://news.ycombinator.com/item?id=20920018
- crimsonalucard 7y agoThere are various verticals. But of all these verticals there are roots. Sort of like how Set theory and Category theory make up the fundamental basis of all math, the fundamentals of computer science are encoded within your first example: >For instance, there is a whole subset devoted to turing machines, the halting problem, finite state machines, provability, incompleteness, the set of all sets, diagonalization proofs etc
- dawg- 7y agoI never formally studied CS, but I can strongly recommend Code by Charles Petzold. If you want to learn how a computer does what it does at the absolute lowest levels, it's a great starting point. It's all written in laymans terms so it's good as a conceptual overview or for people without a strong math background. If you're interested in diving super deep into that kind of stuff I imagine it would be a great high level overview to anchor yourself.
- aphextron 7y agoTAOCP and SICP
- giancarlostoro 7y agoGreen Tea Press has some good ones, "How to Think Like a Computer Scientist" one with Java and one with Python, they're open source books so some people have produced more interactive (browser) books. https://greenteapress.com/wp/ https://greenteapress.com/wp/
- fierarul 7y agoI wanted to say that if you study CS at an University you will most likely read many 'fundamental' books. I find it funny 'Structure and Interpretation of Computer Programs' is considered fundamental when it's basically an MIT textbook. Presumably it's a very good textbook, but it's not fundamental because the rest of the world doesn't really study it. The world does study Aristotle. CS is also a wide field (and I presume you said this on purpose to separate the software engineering books?). Something by Chomsky for formal grammars comes to mind.
- bingerman 7y agoSICP has been (and still is) studied outside of MIT.
- faizshah 7y agoOne possible answer to this question is the most assigned books on computer science syllabi: https://opensyllabus.org/results-list/titles?size=50&fields=Computer%20Science https://opensyllabus.org/results-list/titles?size=50&fields=...
- coldcode 7y agoThe Mythical Man-Month: Essays on Software Engineering by Frederick Brooks should be read by everyone, even though it was written in 1975. Some things don't change no matter the technology change. Sometimes I am amazed to have co-worked who have never heard of it.
- deleted 7y ago[deleted]
- dougb5 7y ago_Concrete Mathematics_ by Knuth et al is a dense but joyful overview of discrete math for CS: https://www.goodreads.com/book/show/112243.Concrete_Mathematics https://www.goodreads.com/book/show/112243.Concrete_Mathemat...
- tudorw 7y agohttps://www.goodreads.com/book/show/722414.Computer_Lib_Dream_Machines https://www.goodreads.com/book/show/722414.Computer_Lib_Drea... by Ted Nelson :)
- 8458e112e7b2 7y agoTangentially related to the topic but I am going to ask here since it seems to be trending. Based on this query and another topic that was popular a couple of days ago around SICP, here is my question: The last time I did any kind of math that was more complex then simple operations was a long time ago and math was never my strong subject. I have pretty much forgotten any kind of algebra, calculus etc I learnt. So assuming I know very little math, what is the best way/book/method to learn algebra/calculus etc to tackle SICP ? I would like to do that before I begin my SICP journey. Any suggestions appreciated!!
- cben 7y agoYou don't really need much math for SICP. You can learn a few random pieces of math from SICP, and without background that will be harder and you might feel like you're missing out, but these are just examples; you can just trust the math works and focus on how they implement it in code, it's structure of the code they want to teach you about. And, it gets better, IIRC from chapter 2 there is much less math. What happens in the first chapter, is that SICP is exploring various control structures (and abstractions over them) before teaching any compound data structures at all. So all it has to work with is numbers. But as number theory teaches us, numbers actually have a rich internal structure, and SICP uses that to make "interesting" examples! (This aspect of SICP is one of the big critiques in the paper http://cs.brown.edu/~sk/Publications/Papers/Published/fffk-htdp-vs-sicp-journal/paper.pdf http://cs.brown.edu/~sk/Publications/Papers/Published/fffk-h... which explains the motivations beyond HtDP textbook. In particular, HtDP shows compound data structures first, and uses those to start with explicit methodology for data-directed design of code. These are smart programmers and smart educators, and I trust they made a better intro course. I won't recommend SICP for people who don't know any programming at all. But I feel SICP has a magical voice about the art of programming that HtDP didn't replicate — though I haven't read HtDP, only leafed through it a bit.) So I don't recommend to to cram algebra/calculus before you begin SICP journey! Just start on SICP, and look up math stuff if/as you want. At the beginning, IIRC you'll encounter: prime vs composite integers; base-2 representation of integers; some calculus but it's enough to understand derivative = slope. There is some symbolic algebra stuff later that's maybe trickier, but I think (hope?) SICP is actually a great book to demystify that. --- If you do want to learn math relevant to CS, but mainly for the purpose of learning math: - If you're comfortable with code more than math: A Programmer’s Introduction to Mathematics by Jeremy Kun. - "Concrete Math" by Knuth/Oren/Patashnik is wonderful. Don't feel you have to finish it! I stopped ~60%.
- madhadron 7y ago> every discipline has it's most fundamental books ... e.g. philosophy -> Socrates, Plato, Aristotle, civil law -> code civil, christianity -> bible, etc. one should read to get a truly deep understanding. I dispute this idea. For some disciplines, this may be so. For other, such as physics, biology, chemistry, mathematics, civil engineering, poetry...actually, for most disciplines they aren't based on fundamental books. They're based on a living community of practice. In these disciplines a book is important only insofar as it can be used to increase your abilities. No one goes and studies the textual details of Landau & Lifshitz as a guide to anything, any more than they do so with TAOCP. Rather than worry about fundamental books, worry about opening up black boxes at a steady rate.
- pacbard 7y agoBooks here could be a stand-in for what Thomas Kuhn has called paradigms [1]. Broadly, each science has a core set of beliefs that are accepted by a majority of the scientists working within that discipline. Books can be seen as the formalization of a paradigm as a way to teach new people (e.g., undergraduates) how to operate within a discipline as opposed to research papers where the boundaries of current paradigms are tested and pushed (or opening up the black box, as you mention). [1]: https://en.wikipedia.org/wiki/Paradigm_shift https://en.wikipedia.org/wiki/Paradigm_shift
- TheRealPomax 7y agoExcept there are. For example, biology has "Campbell Biology", formerly just called "Biology", and it gets frequent revisions to ensure it's still relevant as the field evolves. The question as posed does not strike me as one of worry, but of curiosity: what ARE the seminal works that the different fields point to as being the "bibles" of their discipline? Comp. Sci. has Knuth, Russel and Norvig, etc. Other fields most certainly have their own, and knowing which those are is interesting and worth getting an answer to.
- gonzus 7y agoCan you clarify which book do you mean when you mention "Russel"? I cannot pinpoint it, unlike the other two.
- sweeneyrod 7y agoI don't think there are any. The problem with learning computer science from textbooks is that most textbooks will go a lot further than just the fundamentals on the subjects they cover. So if you try to learn the basics by choosing a textbook for each area and read it cover to cover you'll never finish. Perhaps the answer is to thoroughly read the first few chapters/skim the remainder of Introduction to Algorithms; the Dragon book; Computer Networks/Architecture/etc.: A Systems/Quantitative/etc. Approach; Types and Programming Languages; Security Engineering; AI: A Modern Approach and so on -- that was certainly my experience of undergrad CS. A few exceptions are K&R, The Mythical Man-Month and What Every Computer Scientist Should Know About Floating-Point Arithmetic which are short enough that you can easily read them in their entirety.
- beat 7y ago"Fundamental" is a matter of perspective. To use an analogy, if you were looking for the most fundamental books about the English language, would you be reading about grammar, or would you be reading Shakespeare?
- randcraw 7y agoYes to both. Doesn't 'fundamental' often span a wide range, from bottom-up to top-down? Surely CS fundamentals lie not only at the bottom (e.g. assembly language or discrete math or algorithms), but also at the top (e.g. programming concepts or software design and engineering)? Where would an education in CS be without at least an introduction to high-level concepts like object orientation or computational complexity? And yes, I think Shakespeare is fundamental to the study of English. If the omission of any set of works would have the degree of cultural impact and leave so great a void as overlooking his would, then it qualifies as essential canon, and thereby fundamental.
- beat 7y agoAgreed. So I'd be looking stuff like compiler theory at one end, and distributed systems at the other.
- guiraldelli 7y agoI don't think there is a definitive answer for your question because computer science is a relative new area of knowledge and “fundamental books” are still being published. If I had to say one text that is the fundamental one, I would go with a paper: “On Computable Numbers, with an Application to the Entscheidungsproblem” [1], by Alan Turing. --- But if you just started your course in Computer Science, then I will give you some “bookshelf advice" based on my experience. I had the pleasure to study all the books I am going to recommend you, and most of them I was able to read cover-to-cover during the university years. And they are also in my bookshelf for reference. The book order does not represent rank of importance. * “Introduction to the Theory of Computation”, by Michael Sipser. * I also recommend the “Elements of the Theory of Computation”, by Christos Papadimitriou. * Another good complement is “Introduction to Automata Theory, Languages and Computation”, by Hopcroft and Ullman. (Thanks, @reacweb, for the reminder.) * “Graph Theory”, by Reinhard Diestel. * If you feel you want to go deeper, and like a book which you cannot skip a single word, I strongly recommend “Modern Graph Theory”, by Béla Bollobás: it is one of my favorite textbooks ever! * “The Algorithm Design Manual”, by Steven Skiena. * While a lot of people seems to praise either the Cormen et al. or the Sedgewick books, I have the feeling that “Algorithms” by Dasgupta, Papadimitriou and Vazirani is my choice for “fundamental” book. But I decided to * “Computer Architecture: a Quantitative Approach”, by Hennessy and Patterson. * “Modern Operating Systems”, by Andrew Tanenbaum. * “Artificial Intelligence: a Modern Approach”, by Russel and Norvig. * “Modern Compiler Implementation (in ML)”, by Andrew Appel. I would like to also recommend “Concrete Mathematics”, by Graham, Knuth and Patashnik, but I remember to not feel it the most pedagogical book on the subject. Good luck! --- [1]: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
- cr0sh 7y ago> If I had to say one text that is the fundamental one, I would go with a paper: “On Computable Numbers, with an Application to the Entscheidungsproblem” [1], by Alan Turing Certainly that one, but I would add a couple of others: "https://en.wikipedia.org/wiki/The_Laws_of_Thought" https://en.wikipedia.org/wiki/The_Laws_of_Thought" (George Boole) - lays out boolean algebra; fundamental to everything in computing "https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits" https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_a... (Claude E. Shannon) - basically lays out the equivalence of switching circuits to boolean algebra, fundamental to electronic computing Note in fact many of Shannon's works and research could be considered "fundamental"...
- archielc 7y agoCode: The Hidden Language of Computer Hardware and Software by Charles Petzold This one's for you if you want to learn or just recap principles of computers (and read on evolution as well). I just started reading it and found it suprisingly easy to follow. It's perfect if you like things explained step-by-step and in a simple way.
- moonfleet 7y agoWhat stands out about this book for me is how it starts with absolute basics like what electrons are and linearly builds complexity. It never lost me for a moment and I thoroughly enjoyed its lighthearted tone. This is a perfect book for those who had no formal CS education and are starting out with computers and programming.
- ninjacatex 7y agoI read this in high school and now I am working on my phd in computer architecture. This is definitely not a coincidence. I love how well it explains the low-level workings of computers. Definitely would recommend!
- jtms 7y agoThis is one of my favorite books of all time! I built an 8 bit ALU and a few KB of ram and misc other parts of a computer in Minecraft using the schematics in this book and it was one of the most fun things I have ever done.
- onemoresoop 7y agoI second this. Code: The Hidden Language of Computer Hardware and Software is also very ethically pleasing.
- todd8 7y agoI see this book recommended often and I like Petzold's writing. I think this book is excellent introductory book. However, I bought this book in 2013 and was disappointed. I kept the book in the hopes that my high school and college aged kids might get something out of it. This is a book appropriate for someone new to programming. I don't consider this a book for computer scientists that already have a university degree, since it provides only a very basic introduction to Boolean algebra, logic gates, computer arithmetic. If you know what a NAND gate is and what a XOR instruction does you don't need this book. For the practicing professional or a serious CS student interested in bits and bytes I might recommend Hackers Delight, Second Edition by Hennry S. Warren Jr.
- deleted 7y ago[deleted]
- fortran77 7y ago"The Rust Programming Language" https://doc.rust-lang.org/book/ https://doc.rust-lang.org/book/
- crimsonalucard 7y agoI like rust but how the heck is this fundamental?
- vecter 7y agoIt's not. Most people in this thread mistakenly believe that computer science means programming. Wikipedia has a good list of topics that are actually computer science [0]. [0] https://en.wikipedia.org/wiki/Computer_science https://en.wikipedia.org/wiki/Computer_science
- vecter 7y ago(Unrelated to the thread, just saw your profile): Based on your comments, you seem like an interesting guy. How do I get in touch about potential opportunities?
- crimsonalucard 7y agoI put my email back up in my profile temporarily.
- mfer 7y ago"Design Patterns: Elements of Reusable Object-Oriented Software" by the Gang of Four. It has sold over 500k copies and has been translated to numerous languages. https://en.wikipedia.org/wiki/Design_Patterns https://en.wikipedia.org/wiki/Design_Patterns
- ken 7y agoBeing a best-seller does not make it fundamental. If anything, that suggests to me that it is not. "Philosophy for Dummies" far outsells Plato.
- tabtab 7y agoI have to say the "GOF" book was giant fraud, or at least a big mistake. It has no clear rules on when to use what pattern over another. This resulted in ambitious but naive programmers throwing design patterns at everything in ways that appeared haphazard to those not owning the coder's mind, creating "spaghetti objects". I went round and round in online forums trying to clarify the "rules" for pattern selection. It never resulted in anything definitive or fruitful. It's horrifically vague. The "art" had a cult-like quality to it.
- codesushi42 7y agoPretty much. There are only five patterns that matter in real world software development. Observable Singleton Composition MVC Inversion of Control And the last one isn't even covered by GOF. The book is an out of date relic of 90s programming. Let it die already.
- e12e 7y agoGood recommendations in this thread, but seems a bit thin on the data side - both in terms of abstract datatypes, and in terms of database theory. I don't have a concrete recommendation off-hand - but certainly something by Codd on databases/normalization should be on such a list? A lack of understanding data normalization can hurt even "simple" code that uses structs and procedures.
- Tomte 7y agoFor database theory probably something from C.J. Date.
- e12e 7y agoOh certainly. Maybe Codd and Todd for papers, Date for books? Somewhat related, this interview with Date on the relational model: https://www.red-gate.com/simple-talk/opinion/opinion-pieces/chris-date-and-the-relational-model/ https://www.red-gate.com/simple-talk/opinion/opinion-pieces/...
- e12e 7y agoRelevant (to TFA) quote from the interview: > A related piece of advice is: Learn the relational model first, SQL second (doing it the other way around is hard). Finally, read either or both of Ted Codd’s first two papers every year. (Those papers are “Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks”, IBM Research Report RJ599, August 19th, 1969, reprinted in ACM SIGMOD Record 38, No. 1 (March 2009), and “A Relational Model of Data for Large Shared Data Banks”, CACM 13, No. 6, June 1970, which you can find online.) Ed: DERIVABILITY, REDUNDANCY CONSISTENCY OF RELATIONS STORED IN LARGE DATA BANKS E. F. Codd: http://domino.research.ibm.com/library/cyberdig.nsf/papers/B7765CC7C03E358D85257593005B42EF/$File/RJ599.pdf http://domino.research.ibm.com/library/cyberdig.nsf/papers/B... A relational model of data for large shared data banks: http://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf http://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf
- friendlybus 7y agoThe depth of programming is following the code down to electricity, like the Ben Eater youtube videos show. What you want that code to do has it's own depths; math, ml, ai, games, business ect. It's not like classical art or architecture where the principles closer to all commanding or 'figured out'. Your everyday work is like swimming through code solving problems as you go. Pushing blocks into permanent place never works, they find a way of getting crufty, old and replaced to fit new requirements. I imagine any field that deals with flowing quantities of objects, or fluid-like systems would have structural overlaps with programming. Fields like plumbing, finance, the energy sector, ect. I would describe programming to be at it's very base to be ascribing meaning to quantities of meaningless numbers and building a structure to pipe those numbers around to a qualitative result. Measuring principles in depth here is not that useful, the river of valuable information runs left to right in code. You'll likely restrict how deep and how abstract you go and instead focus on churning out a high quantity of solved problems. It's just not that useful to be thinking in machine code when you're programming in C++, but knowing all the functions of C++ and where it should be ending up is very important.
- iikoolpp 7y agoSmalltalk-80: The Language and Its Implementation
- mongol 7y agoIs Hennesy & Patterson, "Computer Architecture: A Quantitative Approach" still used in universities?
- adchari 7y agoYes, my computer architecture class has this as its recommended textbook, although readings aren't required and I'm sure that nobody in the class has the textbook
- arnold_palmur 7y agoYes - currently using it right now (sixth edition, where it switched to using RISC-V) for for my MS.
- fredophile 7y agoDo you want to know about CS or do you want to know about programming? A lot of the suggestions I've seen so far in this thread are really about programming and not general CS. The basic math and principles for CS date back to before we had computers. I'd argue that if you want a real CS bible then you need to look at things published back when computer was a job and not an object. For example, you could check out "Introduction to a General Theory of Elementary Propositions" by Emil Post. Reading it will teach you about CS fundamentals but it will not make you a better programmer.
- mmwanga 7y agoThe C++ programming language by Bjarne Stroustrup. Whether you plan to learn C++ or not, this is a great book to read
- beagle3 7y agoIverson's "The description of sequential processes" is eye opening (as our "Notation as a tool of thought" and "A programming language"). But that's about describing the science than the actual science (imagine a book about the merits of Leibniz notation vs. Newton notation of derivatives...). The actual science in computer science? Weyuker, Sigal & Davis - Complexity, Computability and Languages; CLRS - Introduction to Algorithms. Harel - Algorithmics, the spirit of computing; And nand to tetris, in whatever format you find it.
- probinso 7y agoComputer Science -> The Art of Computer Programming Software Engineering? no clue
- kavalec 7y agoKnuth!
- brentjanderson 7y agoFrom http://www.michaelnielsen.org/ddi/lisp-as-the-maxwells-equations-of-software/ http://www.michaelnielsen.org/ddi/lisp-as-the-maxwells-equat... > Alan Kay has famously described Lisp as the “Maxwell’s equations of software”. Maxwell's equations could be considered fundamental axioms in electromagnetism and physics. Lisp, likewise, expresses the heart of computer science at its core. I'm still working on grokking it myself, but believe that studying Lisp could be precisely what you're looking for (even if you also mean writing software in addition to strict computer science). Paul Graham's essays could prove interesting as well.
- andrelgomes 7y agoOperate on first principles, what do you need to know to be a "successful" programmer in the technical, social, and/or ideological context. Data Structures and their relationship with each other to be a great technical programmer. These books (just highlight not everything) I would think -> Algorithms Sedgewick, Lisp Programmers Manual, Designing Distributed Systems. .To be a great collaborative programmer (in a work enviornment) -> Pragmattic Programmer, Code Complete, Mythical Man Month, A Philsophy of Software Design by Ousterhout. For philsophy of programming itself -> The Soul of a Machine Edit: Programming is very broad and operates in many context from the technical, social, to the ideas behind it. I would say it is almost to early to have those definitive fundamental books
- ztree 7y agoI've spent this entire year taking a break to learn fundamental CS(I'm not a CS graduate) Here are the books I found most useful/interesting: 1. The Annotated Turing by Charles Petzold : Used it because I had a hard time digesting the original Alan Turing paper 2. An Introduction to Formal Languages and Automata by Peter Linz : To grab the concept of state machines 3. The description of sequential processes by Iverson 4. Clrs: Have kept it for reference Then I studied a matrix of math books, along with other CS books regarding compilers, operating systems etc. My aim was to get good enough understanding to comfortably digest the famous research papers. I am yet to find definitive books that teach a way of thinking on their own merit as a single book. Cs like others is a matrix of knowledge that clicks as a whole 'chunk' of understanding, changing the way you have thought about things like programming in general. I'm having a hard time explaining this. If you're not a CS graduate, I highly suggest simply going through academics of places teaching theoretical CS.
- Iwan-Zotow 7y agoTAOCP
- tabtab 7y agoA big problem is that software organization success largely depends on "soft sciences" like psychology and physiology. Science may find ways to make faster machines, but being that the actual bottlenecks are the cost of humans reading code and designs and managing changes to systems, the human grokkability factor is usually the largest. Software should be written mostly with humans (code readers) in mind, and not machines. The soft sciences are much harder to study; it's expensive to use trial and error on real projects in order to compare outcomes. Equations on a blackboard or chips in a lab are probably not where most real IT revelations will come from. There are pet theories that focus on overly-narrow factors. For example, those who focus on linguistic parsonomy (less code) may conclude that functional programming is "better" because it usually can be made the most compact. However, a good many coders have a hard time working well with functional programming. Some take a Darwinian view and say "fire them all and hire elite functional coders". But so far that has rarely paid off in the market-place, barring a few grow-fast-at-all-costs startups. Short code is not always legible code to the majority of coders.
- instantnoodler 7y agoI mean no offense but this is a crap answer. They're asking for book recommendations.
- tabtab 7y agoI guess what I'm trying to say is that there are no books that address and "solve" the real issues of typical software design, and I am explaining the reason why there are no such books. It's kind of like asking for good books on Pluto before any probe had visited Pluto: you are only going to find a lot of speculation. The closest thing are books with specific examples that explain the trade-offs made and try to find general rules and apply them to the examples. But I find such to be either mostly opinions, or too vague to apply in practice. At best they exercise your brain in terms of questions to ask in exploring the different design options, but they don't give clear-cut rules for the final choice that stand up to scrutiny. They can tell you about the kinds of beasts you'll encounter in the dark forest, and give suggestions for defeating the beasts, but the recipes for success are either subjective or nebulus, yet to be subjected to real testable science. They could be if some research institution spent big bucks on it, but so far nobody has. Our field has a "science gap" which results in a book gap. The blunt truth is that IT is more about people than machines or math.
- carapace 7y ago1. Knuth. Skim it all then keep as a reference. Dive deep into anything that catches your fancy. 2. "Programming Pearls" by Jon L. Bentley IMO this is the most concise yet accessible gateway to the inner Mysteries of Computer Programming. Read between the lines, the prime thesis is implied not explicit. 3. "Thinking Forth" by Leo Brodie (Available as a PDF here: http://thinking-forth.sourceforge.net/ http://thinking-forth.sourceforge.net/ ) Most software is grossly too large. This book shows how to grok and extract the essence of your problem into minimal code. (Chuck Moore had a 3D wireframe CAD program he used to carry around as a deck of punch cards in his shirt pocket.)
- pokler 7y agoFor Computer Science, Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman with Julie Sussman. For programming, Computer Systems: A Programmer's Perspective by Randal E. Bryant and David R. O'Hallaron
- robto 7y agoThe Elements of Computing Systems: Building a Modern Computer from First Principles[0] and its accompanying class Nand to Tetris[1]. Starting at logic gates and moving up through the levels of abstraction until you can build a programming language and implement a video game is the most fundamental approach that I'm aware of. [0]https://www.nand2tetris.org/book https://www.nand2tetris.org/book [1]https://www.nand2tetris.org/ https://www.nand2tetris.org/
- yoz-y 7y agoWhen these lists of books threads pop up I always feel ashamed at how few I have read myself. I've only read Perl by Larry Wall and most of Effective C++. I wonder how much I am actually missing out by not digging into the theory more.
- todd8 7y agoWe all started out that way. Effective C++ is a valuable book that takes study, so you're off to a good start. I still have my first programming book that I bought in the 60s. Now, my library includes most of the books mentioned here. I've skimmed every one of them and read portions of many over and over. I've found that in the long run, they've really helped me in my career. Notice however that I've had half a century to do this reading so just give yourself time.
- yoz-y 7y agoBut I've been in the business for almost 10 years now, mostly learning from people around. I am running out of fiction so maybe this would be a good time investment though.
- todd8 7y agoSeveral of the books mentioned here are actually a lot more fun to read than the really excellent Effective C++ ... books by Scott Meyers that you mentioned reading. This isn't a criticism of Effective C++, just the opposite. Better than anyone, Scott Meyers makes many of the very technical intricacies of C++ understandable and I think every professional C++ programmer could benefit from understanding the issues he explains. Nevertheless, I find the book more of a chore to get through than most of the books mentioned here. You might find a random CS subject really interesting and get motivated to read up on it. I done this over and over. Personal projects are a good way to get interested. In the past personal projects have caused me to do independent study of cryptography, hash tables, compilers, operating systems, machine learning, AI, etc. I've never been interested in game development or GUI programming, but recently I decided I would write a simple chess playing program just for fun. I'm currently stuck building the GUI for it, but it's caused me to study game engines and GUI frameworks.
- kampsduac 7y agoOne of my favorite fundamental books is "The Pragmatic Programmer: From Journeyman to Master" by Andrew Hunt and David Thomas
- crimsonalucard 7y agoThis is a fundamental book for programming or software engineering. I would argue that it's not fundamental for computer science.
- codesushi42 7y agoThe C Programming Language. And I am surprised no one mentioned Operating System Concepts (the dinosaur book). It was the most useful CS text I read in college. I see a lot of SICP love; I never had it for a college course, but it looks good as well.
- mrbrowning 7y agoTo stick to the more theoretical interpretation of "computer science," and with a focus on theory of computation/programming languages: - Discrete Mathematics And Its Applications, Kenneth H. Rosen (this is more foundational, but it's definitely targeted at a CS audience and touches on things like automata theory) - Types and Programming Languages, Benjamin C. Pierce - Semantics of Programming Languages, Carl Gunter
- andrei_says_ 7y agoI’ve found Martin Fowler’s Refactoring very practical
- donatj 7y ago"The Art of UNIX Programming" was certainly one of the most formative personally. It's more holistic than technical, but has changed me in a number of ways for the better.
- toolslive 7y agoCommunicating and Mobile Systems: the Pi-Calculus (Milner) Fundamental, but rather painful to digest.
- tu7001 7y agoThis is not a book (youtube lectures), but I add it here: https://www.youtube.com/watch?v=uaAvVNWvi4A&list=PLm3J0oaFux3aafQm568blS9blxtA_EWQv https://www.youtube.com/watch?v=uaAvVNWvi4A&list=PLm3J0oaFux...
- jammygit 7y agoI suppose we should talk about our favourite algorithms/data structures books here. I like Drozdek for data structures: very clear yet concise with both theoretical rigour and application
- eecc 7y agoNot a book, but fundamental nonetheless: https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...
- bjourne 7y agoAlgorithm Design by Kleinberg and Tardos. It is a wonderful book especially because of the well-designed problem sets. Most of them come with answers too.
- todd8 7y agoFor new computer scientists that want to understand the interface between programs, operating systems, and hardware, I recommend Computer Systems, A Programmer's Perspective, Third Edition by Bryant and O'Hallaron. It's detailed enough to use when trying to understand how a shell works or how to write a signal handler, but the writing couldn't be clearer.
- todd8 7y agoPearls of Functional Algorithm Design by Richard Bird. Is a collection that demonstrates through thirty small examples spread over the same number of chapters, the appeal of functional programming. Most books on functional programming get a bit bogged down on a particular language, this one doesn't.
- todd8 7y agoOver the years I find myself often referring back to Numerical Recipes, The Art of Scientific Computation now in it's third edition by Press, et. al. I realize that for practically any topic covered by this book that there are more heavily optimized solutions available in the best numerical libraries, but this book nicely rounds out my reference books with clear and easy to understand coverage of subjects I don't know. (e.g. Savitzky-Golay Smoothing Filters). I enjoy reading this book.
- todd8 7y agoFeynman Lectures on Computation by Richard Feynman. Interesting perspective from a Nobel Prize winning Physicist. Chapters: Introduction to Computers, Computer Organization, The Theory of Computation, Coding and Information Theory, Reversible Computation and the Thermodynamics of Computing, Quantum Mechanical Computers, and Physical Aspects of Computation.
- leemck 7y agoIn 1973 I was 26 years old and for about ten years I tried to build a library that included the fundamental computer books. Your education needs to exceed the narrow field of computer reference books only. First comment is I did get the Knuth books but I never got the college courses and problem solving work to use them. As Professor Marc Nicolet said: You have got to do the problems to master the subject (referring to his Caltech area of physics). The second comment is computing is all binary. Go beyond that and learn about fractals, chaos, topology and knot theory. For instance, in Kaufman's Knot Theory, there are obviously true but rigorously unproven theorems in the first chapters of the book. The third comment is after Turing's paper and Godel's uncertainty arguments, all real world computer programs, no matter how carefully they employ something from a fundamental book, must be tested.
- eyegor 7y agoI'm a big fan of Algorithms by Jeff Erickson (free to download at http://jeffe.cs.illinois.edu/teaching/algorithms/ http://jeffe.cs.illinois.edu/teaching/algorithms/)
- cben 7y agoMy recommendations are not exactly what you ask but what I suspect you'll enjoy if you're asking this. (1) "Understanding Computation" by Tom Stuart. Not "fundamental" as a deep textbook, but very approachable for programmers intro into a big chunk of CS, explaining deep ideas about languages using rigorous working clean code (in Ruby, no prior knowledge needed). I especially loved the first few chapters about what it means to define a programming languange and various kinds of formal semantics. (2) Designing Data-Intensive Applications, Martin Kleppmann. This gives you a phenomenally good survey of concepts and practice of distributed systems. This is more software engineering than pure CS, but in my view you can't approach the field of distributed systems without blending both anyway. (3) POODR — Practical Object-Oriented Design, in Ruby, by Sandi Metz. This is 100% software engineering, where there is no single definition of "foundational", but many people who read this swear by it. It's remarkably thin but lucid distillation of ideas that were "in the air" but Sandi nailed them down. An important thesis is that good code is not an aesthetic judgement of how it _now_ looks, but objective question how easy it will be to _change in the future_. Not Ruby-specific at all, but it teaches the original Smalltalk "message-passing" view of OOP, that for people that only learnt statically-typed Java, C++ etc view of OOP is a fundamental idea they're missing on. Finally, not a book, but "the morning paper" https://blog.acolyer.org/ https://blog.acolyer.org/ is excellent "return on your time" if you want to sample academic papers, both classic foundational ones, as well as cutting edge.