2022 Developer Survey is open! Take survey.

Hot answers tagged

31 votes
Accepted

Where to learn more about what Theoretical Computer Science is?

First, "theoretical computer science" means different things to different people. I think for most users on this site, a historical caricature (which reflects some modern sociological tendencies) is ...
user avatar
16 votes

Book for self study of algorithms in group theory

It really makes a difference what the input to the algorithm is: how do you specify a group? If you want groups given by generators and relators, I would suggest Combinatorial Group Theory, by Magnus,...
user avatar
12 votes
Accepted

Good books on parser theory?

One book that I can recommend is D. Grune, C. J. H. Jacobs, Parsing Techniques: a Practical Guide.
user avatar
9 votes

What Books Should Everyone Read?

Writing Mathematics Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts, "Mathematical Writing", 1989 (pdf)
9 votes

Theoretical computer science self-study resources for programmers

There are several ways to learn about type theory. For a working programmer, Types and Programming Languages by B. Pierce is a good start. Practical Foundations for Programming Languages by R. ...
user avatar
8 votes
Accepted

Theoretical computer science self-study resources for programmers

It's a wide field with a few quite different areas. I'd start with some of the most fundamental ideas about what computers are: Hopcroft and Ullman, "Introduction to Automata Theory, Languages and ...
user avatar
  • 134
6 votes

Book for self study of algorithms in group theory

The most modern and comprehensive reference is probably "Handbook of Computational Group Theory" by Holt, Eick and O'Brien (link) A classic reference is "Computation in Finitely Presented Groups" by ...
user avatar
6 votes
Accepted

Book for self study of algorithms in group theory

If you're interested in the group theory that's relevant for Graph Isomorphism, then in addition to Seress's book that David Eppstein mentioned, I would highly recommend Dixon and Mortimer's ...
user avatar
6 votes

What Books Should Everyone Read?

A new addition to the list is a book "Foundations of Data Science" by Blum, Hopcroft and Kannan: https://www.cs.cornell.edu/jeh/book.pdf
6 votes

What are the recent TCS books whose drafts are available online?

Devdatt Dubhashi and Alessandro Panconesi: Concentration of Measure for the Analysis of Randomised Algorithms. A first draft is available at http://wwwusers.di.uniroma1.it/~ale/Papers/master.pdf (via ...
5 votes

Where to learn more about what Theoretical Computer Science is?

The Nature of Computation by Cristopher Moore and Stephan Mertens.
user avatar
  • 151
5 votes

Information and Coding Theory Texts

Maybe not so math oriented but with math rigor: Elements of Information Theory by Thomas M. Cover, Joy A. Thomas Essential Coding Theory by Venkatesan Guruswami, Atri Rudra and Madhu Sudan
user avatar
4 votes

What are the recent TCS books whose drafts are available online?

Parameterized Algorithms by Marek Cygan, Fedor V. Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh.
4 votes

Books on programming language semantics

I would like to add two books not found on the answers given up to now: Aaron Stump, Programming Language Foundations David Schmidt, Denotational Semantics: A Methodology for Language Development ...
user avatar
  • 962
4 votes

What Books Should Everyone Read?

Parameterized complexity It might worth adding an answer since no one mentioned this area. A comprehensible, well written quite recent book is Parameterized Algorithms, M. Cygan et al., 2015 ...
4 votes

Book for self study of algorithms in group theory

Not a book but maybe A. Hulpke's Notes on Computational Group Theory are of interest?
user avatar
4 votes

Free books (or course materials) on undergraduate algorithms

Jeff Erickson's lecture notes on Algorithms are free, with a Creative Commons license. Other than Algorithms, this site also contains lecture notes for Models of Computation, which are also with a CC ...
user avatar
3 votes

What Books Should Everyone Read?

Algorithmic Game Theory Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani. Algorithmic Game Theory. Cambridge University Press, 24 de set. de 2007 History of Computer Science COOPER, S. ...
3 votes

Good books on parser theory?

If you want to learn about the theory of parsers, I recommend volume 1 of this classic book: Aho, Alfred V.; Ullman, Jeffrey D., The theory of parsing, translation, and compiling, Prentice-Hall (1972)...
user avatar
3 votes

What Books Should Everyone Read?

Algebraic Geometry Algebraic Geometry by Robin Hartshorne. The book is, for me, challenging but covers a broad area of the field of algebraic geometry. I found this a good addition to the next book ...
3 votes

Books on programming language semantics

For a complete beginner studying operational semantics, I would suggest Programming Languages and Operational Semantics by Maribel Fernández. Everything is explained in a very simple manner which is ...
user avatar
3 votes

Information and Coding Theory Texts

Both texts in the other answer are great texts, and the Guruswami, Rudra, Sudan book is more based in the TCS approach to coding theory, which may be relevant to the potential reader. The books below ...
user avatar
  • 1,966
2 votes

What is the best text of computation theory/theory of computation?

I recommend Math and Computation by Avi Wigderson if you're mainly interested in complexity theory. This is probably best supplemented by other books mentioned in this thread, as it's less rigorous. ...
2 votes

What are the recent TCS books whose drafts are available online?

Tutorials on the Foundations of Cryptography (edited by Yehuda Lindell) Dedicated to Oded Goldreich From the Springer page: Advanced tutorials developed by Benny Applebaum, Boaz Barak, Andrej ...
2 votes

What are the recent TCS books whose drafts are available online?

These 3 books on arithmetic complexity don't seem to have been mentioned till now, (Amir Shpilka, Amir Yehudayoff) http://www.cs.tau.ac.il/~shpilka/publications/SY10.pdf (Xi Chen, Neeraj Kayal, and ...
2 votes

Book on Probability

Just to add to the suggestions others have given, this note by Oded Goldreich is one of the most useful ones I've found so far. It gives a lot of examples of how probability is used in various ...
2 votes

What are the recent TCS books whose drafts are available online?

Jan Krajíček's Proof Complexity. It not only has lower bound but also upper bound and beyond.
2 votes

Theoretical computer science self-study resources for programmers

I recommend Computability, Complexity, and Languages by Martin Davis, Ron Sigal and Elaine Weyuker.
user avatar
2 votes

Book for self study of algorithms in group theory

I cut my teeth on Combinatorial Algorithms Generation Enumeration Search, http://www.math.mtu.edu/~kreher/cages.html. I would highly recommend it. You learn much faster coding group algorithms as by ...
user avatar
2 votes

Book for self study of algorithms in group theory

If you're only concerned about finite permutation groups, I found the book "Fundamental Algorithms for Permutation Groups" by Gregory Butler very readable. It's only for finite permutation groups but ...
user avatar
  • 2,756

Only top scored, non community-wiki answers of a minimum length are eligible