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 ...
Joshua Grochow's 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,...
David Eppstein's user avatar
9 votes

What Books Should Everyone Read?

Writing Mathematics Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts, "Mathematical Writing", 1989 (pdf)
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 ...
NietzscheanAI's 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 ...
Joshua Grochow's user avatar
6 votes

Where to learn more about what Theoretical Computer Science is?

The Nature of Computation by Cristopher Moore and Stephan Mertens.
John Donn's user avatar
  • 161
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
hddmss's user avatar
  • 181
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
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 ...
Jay's user avatar
  • 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

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 ...
kodlu's user avatar
  • 2,070
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 ...
Aravind Reddy's user avatar
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?
Martin Berger's user avatar
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

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.
valepert's 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 ...
user834's user avatar
  • 2,796
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 ...
Chad Brewbaker's user avatar
1 vote

Regarding Elements of Programming, is a uniqueness of the value type sufficient for equality testing?

Looking at the book, they give a really good example where representational equality doesn't imply equality. You have two unordered collections, which are equal if after sorting and removing ...
ian.p.swift's user avatar
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 ...
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

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

It is very hard to define what best means! Anyway, The nature of computation by Cris Moore and Stephen Mertens is very good. The book is nice to either get an introduction to the big ideas of the ...
1 vote

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

I recommend "Computability and Logic" by George S. Boolos and John P. Burgess. It's formal, rigorous and fairly thorough. It's a book on computability only, not covering computational ...
1 vote

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

See Elements of Computation Theory by Arindama Singh.

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