7 ms·
Introduction to Theoretical Computer Science
- jeffreyrogers 8y agoInteresting decision to start with Boolean circuits rather than automata. I wonder if that has any effect on students' ability to learn the material.
- Odenwaelder 8y agoHow was this website generated from the Markdown files in the GitHub repo?
- dave84 8y agohttps://bookdown.org/ https://bookdown.org/
- ArchReaper 8y agoAt the bottom of the page: >Produced using pandoc and panflute with templates derived from gitbook and bookdown. http://pandoc.org/ http://pandoc.org/ http://scorreia.com/software/panflute/ http://scorreia.com/software/panflute/ https://www.gitbook.com/ https://www.gitbook.com/ https://bookdown.org/ https://bookdown.org/
- boazbarak 8y agoYes I use a custom pandoc filter that transforms the markdown to both latex and html (using the bookdown/githook template). At the moment the code is rather messy and somewhat tied to my windows setup , but eventually I plan to open source it as well.
- aiansiti 8y agoTook his course in college. Could not down vote this post more. I have much PTSD from his lectures because Boaz was figuring out how to teach mid-lecture. If you read the textbook you'll find many typos and a plethora of mathematical notation that lacks any intuitive explanation. On the upside, I guess I know what a Turing machine is now...?
- deleted 8y ago[deleted]
- pooya13 8y agoDo you know of an alternative resource over this one?
- everybodyknows 8y agoMIT online catalog: https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/ https://ocw.mit.edu/courses/electrical-engineering-and-compu...
- 52-6F-62 8y agoIt's great they release all of this for free. I mean, it will never be the same as having that piece of paper from MIT— but at least one can rely on the resources as being quality.
- gumby 8y agoI'm glad to see you write this. When MIT launched OCW (thanks to Hal Abelson, of SCIP fame) I was shocked by the number of articles amazed that MIT would give away their "Crown Jewels". MIT's position was precisely yours.
- mesaframe 8y agoThere is one course from CMU not exactly same but is along the lines https://m.youtube.com/playlist?list=PLm3J0oaFux3aafQm568blS9blxtA_EWQv https://m.youtube.com/playlist?list=PLm3J0oaFux3aafQm568blS9...
- bjourne 8y agoKleinberg and Tardos book: http://www.cs.sjtu.edu.cn/~jiangli/teaching/CS222/files/materials/Algorithm%20Design.pdf http://www.cs.sjtu.edu.cn/~jiangli/teaching/CS222/files/mate... But that book is not an easy read either and will be hard to digest for someone not comfortable with reading mathematical proofs. It comes with the territory.
- westoncb 8y agoTwo questions on theoretical CS: 1) Anyone know of a good roadmap, breaking down what the major sections are and offering summaries? (Or if they cared to post their own here, that'd be great :) doesn't have to be super comprehensive.) 2) Can anyone recommend a good second book for readers who've already gone through Sipser? —or is there not even a natural follow up since it just depends on which specialization you want to go in from there?
- portal_narlish 8y ago1) Syllabus for the accompanying Harvard course https://cs121.boazbarak.org/syllabus/ https://cs121.boazbarak.org/syllabus/ 2) Author is heavily inspired by Sipser and the previous CS121 course taught by Harry Lewis. So this is your natural follow-up.
- marcinja 8y agoI took Sipser's class and read his book. I found Barak's textbook pretty good after that. You can read it out of order, and it has pretty good citations so you can always look confusing topics on your own. "Computation Complexity: A Modern Approach" by Arora and Barak
- boazbarak 8y agoAuthor here. Thanks to whomever posted it! Would appreciate any comments or typo/bug reports on the GitHub repository. (Linked from the page)