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 ...
- 36.9k
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,...
- 50.9k
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. ...
- 11.4k
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 ...
- 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 ...
- 773
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 ...
- 36.9k
6
votes
Where to learn more about what Theoretical Computer Science is?
The Nature of Computation by Cristopher Moore and Stephan Mertens.
- 161
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
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
- 181
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
...
- 982
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
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 ...
4
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 ...
- 2,070
3
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?
- 11.4k
3
votes
What are the recent TCS books whose drafts are available online?
Introduction to Theoretical Computer Science
Boaz Barak
https://introtcs.org/public/index.html
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
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?
Venkatesan Guruswami, Atri Rudra, Madhu Sudan. Essential Coding Theory, 2019.
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
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
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 ...
- 2,786
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 ...
- 2,359
2
votes
What are the recent TCS books whose drafts are available online?
A bit awkward as it's my own, but the draft of my monograph on distribution testing, "Topics and Techniques in Distribution Testing: A Biased but Representative Sample" (Now Publishers, FnT ...
2
votes
Theoretical computer science self-study resources for programmers
I recommend Computability, Complexity, and Languages by Martin Davis, Ron Sigal and Elaine Weyuker.
- 21
1
vote
Theoretical computer science self-study resources for programmers
I am big fan of Theory and Algorithms. I had once an opportunity to visit Theoretical Computer Science at Indian Institute of Technology, Madras (IIT-M), India. I have got a know about a lot ...
- 111
1
vote
What are the recent TCS books whose drafts are available online?
The following book is about Database Theory, a small subarea of TCS at the border to Data Management:
Principles of Databases by Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Wim Martens, and Andreas ...
1
vote
Accepted
Lossless Compression Books
I recommend the following books:
Khalid Sayood "Introduction to DATA COMPRESSION"
Khalid Sayood "Lossless Compression Handbook"
David Salomon "Handbook of Data compression"
And a little more ...
- 500
1
vote
What are the popular science books that inspire TCS?
I will suggest the following books.
The Golden Ticket: P, NP, and the Search for the Impossible by Lance Fortnow.
The book is written for all kind of readers and doesn't require you to know anything ...
Only top scored, non community-wiki answers of a minimum length are eligible