Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [books]

Requests for books covering a subject. Questions need to admit objective answers and identify a clear set of requirements or criteria for evaluating answers.

105 questions
26
votes
4 answers

Book for algorithms beyond Cormen

I've finished most of the material in Cormen's Intro to Algorithms book and I am looking for an algorithms book that covers material beyond Corman's book. Are there any recommendations? NOTE: I asked this on stackoverflow but wasn't all too happy…
Eugene
  • 371
  • 1
  • 3
  • 6
21
votes
3 answers

How to formulate a computational problem rigorously?

I often interact with people who want to ask for an algorithm for a computational problem (or its complexity), but they don't express it in a rigorous way for us (computer scientists) to understand. Referring them to books like CLRS is not helpful…
Kaveh
  • 22,661
  • 4
  • 53
  • 113
18
votes
3 answers

Algorithm books on a range of topics

I've been tasked with building a library of books on algorithms for our small company (about 15 people). The budget is more than 5k, but certainly less than 10k, so I can buy a fair number of books. All people here have at least a Bachelor's degree…
mtf
  • 189
  • 2
  • 4
17
votes
3 answers

Studying Programming Language Theory

I have recently become extremely interested in understanding and proving aspects of (functional) programming languages. However as I dive deeper in, things like $\lambda$ calculus, category theory, and denotational semantics are a little difficult…
daniel gratzer
  • 1,500
  • 1
  • 13
  • 22
14
votes
3 answers

Theoretical CS and Math - self-study recommendations

I am a non-CS grad and my field of study is unrelated to CS. However, as part of a larger plan to become a computer scientist, I want to obtain a solid background in theoretical computer science and math as it relates to CS. I did a plenty of…
CSLover
  • 143
  • 1
  • 5
12
votes
2 answers

Good mathematical book on algorithms

I’m a sucker for mathematical elegance and rigour, and now am looking for such literature on algorithms and algorithm analysis. Now, it doesn’t matter much to me what algorithms are covered, but very much how they are presented and treated.¹ I most…
k.stm
  • 393
  • 1
  • 3
  • 11
11
votes
4 answers

What are common formal techniques for proving functional code correct?

I want to provide proofs for parts of a Haskell program I'm writing as part of my thesis. So far however, I failed to find a good reference work. Graham Hutton's introductory book Programming in Haskell (Google Books)—which I read while learning…
FK82
  • 273
  • 2
  • 8
11
votes
3 answers

Introductory book on Logic and Computation

Can you give me some suggestions about a good introductory (but comprehensive) bookabout Logic and Computation? Some fuzzy topics that I have in mind are: Presburger artihm., PA, ZF, ZFC, HOL Set theory, Type theory Modeling Computation (Turing…
Vor
  • 12,743
  • 1
  • 31
  • 62
10
votes
3 answers

Resources for studying the mathematical foundations of machine learning, for someone from a math/physics background

I am a soon-to-be physics graduate student with a background in theoretical and experimental cosmology. In my work, I've often found myself applying machine learning models and techniques for the purposes of performing data analysis tasks. I, as…
10GeV
  • 201
  • 1
  • 3
9
votes
1 answer

Rigorous Books on Algorithms

I thoroughly enjoyed my algorithms class but I felt that it lacked rigor. Most of the time I was able to intuitively understand why the algorithms presented worked and why they had the time complexity that was presented but I'd like to be able to…
Budge
  • 101
  • 1
  • 5
9
votes
5 answers

Standard or Top Text on Applied Graph Theory

I am looking for a reference text on applied graph theory and graph algorithms. Is there a standard text used in most computer science programs? If not, what are the most respected texts in the field? I have Cormen et al.
JEHR
  • 163
  • 5
9
votes
4 answers

Theory of computation introductory curriculum

I want to study theory of computation on my own, so I am looking for books. What set of books would you recommend for the equivalent of a one-semester course that introduces theory of computation? Please post answers that describe a complete…
Am_I_Helpful
  • 424
  • 8
  • 18
9
votes
3 answers

Books to prepare before reading Knuth's The Art Of Computer Programming (TAOCP)

Many people say that TAOCP is not supposed to be read as a book (actually a volume of books), but if I decide to go that way, which math/computer science books/topics do I need to study to help me follow it? There is a related question on…
sakisk
  • 203
  • 3
  • 7
9
votes
1 answer

Seeking popular science book on bioinformatics or computational genomics

An intelligent 15-year-old I know is interested in both computer science and genetics. I told her that these fields make an excellent combination. I'd like to give her a book on bioinformatics or computational genomics. I'm looking for a fun…
Ellen Spertus
  • 1,592
  • 13
  • 30
8
votes
3 answers

Computation Complexity books for a mathematician

I recently attented to some computational complexity talks (or complexity theory, I am not sure which is the correct name) and I fell in love with it. I would like to find some books, online courses... in general resources of any kind to self-study…
Bean Guy
  • 193
  • 7
1
2 3 4 5 6 7