This was mentioned earlier, but it wasn't linked.

SICP is completely free online.

## 42 Replies - 63087 Views - Last Post: 23 November 2015 - 09:48 PM

### #32

## Re: Computer Science Book Suggestions

Posted 26 August 2013 - 10:56 AM

while technically a puzzle book, to mock a mocking bird, is a pretty interesting read. The first part is logic puzzles that are pretty classic kind of things but the second part deals with combintory logic and is IMO very interesting.

### #33

## Re: Computer Science Book Suggestions

Posted 26 August 2013 - 10:58 AM

Savage publishes his Models of Computation online for free.

### #34

## Re: Computer Science Book Suggestions

Posted 26 August 2013 - 11:19 AM

ishkabible, on 26 August 2013 - 12:56 PM, said:

while technically a puzzle book, to mock a mocking bird, is a pretty interesting read. The first part is logic puzzles that are pretty classic kind of things but the second part deals with combintory logic and is IMO very interesting.

Smullyan's work is interesting - he's always used simple puzzles to explore deep ideas in math and logic. He's got a number of books of this sort, which are all interesting and generally complementary. Programmers interested in the neat stuff - not just "how do I make it go?" but "what makes it go, anyway?" will probably find a lot of reward and pleasure in What Is the Name of this Book?, Satan, Cantor, and Infinity, and Forever Undecided - to name just three.

His collection of inverted chess problems is also a lot of fun.

And the really amazing thing is that he's been doing this for seventy years, and he's got one book listed to ship this month (yes, I have it on pre-order!) and a beginner's guide to mathematical logic coming out next year. This is on top of books published in 2009 and 2010 and he's 95 years old. Yes, that means that in the first half of his 10th decade alive, he's published four books. This is a really remarkable man.

This post has been edited by **jon.kiparsky**: 26 August 2013 - 12:45 PM

### #35

## Re: Computer Science Book Suggestions

Posted 26 August 2013 - 12:44 PM

Ya I was planning on getting the The Godelian Puzzle Book too

I haven't read many of his other books but I do very much like to mock a mocking bird. He has tons of books that are all probably worth a read if your into logic and math.

I haven't read many of his other books but I do very much like to mock a mocking bird. He has tons of books that are all probably worth a read if your into logic and math.

### #36

## Re: Computer Science Book Suggestions

Posted 19 March 2014 - 02:40 AM

My Favourite Book is

Cryptography and Network Security by Atul Kahate

And

Discrete Mathematics and its Application

Cryptography and Network Security by Atul Kahate

And

Discrete Mathematics and its Application

### #37

## Re: Computer Science Book Suggestions

Posted 05 June 2015 - 08:08 PM

I've read/partly read a few books since last I was here. Thought I'd post the good ones here.

first some Benjamin C. Pierce, he is very prolific in my area and I have read 3 of his books and worked with another. These books are the best. I feel like someone is personally teaching me when reading them.

Types and Programming Languages

Advanced topics in types and programming langauges

software foundations

basic category theory for computer scientists

Winskel is far more approachable. I would struggle to really make it though Gunter on my own at my current level. Gunter isn't bad but is preety hard to read.

Winskel's semantics of programming languges I recommend this. It takes effort but is worth it and not too hard

Gunter's semantics of programming languages

I can't tell you how many times I've used a bankers queue thanks to this book.

Purely functional data structures Good book to reference every now and again. I haven't actually just sat down and read this book.

Principals of Program Analysis (I've only covered abstract interpretation and data flow analysis but it was well enough written)

(I have not read this personally but want to. Classic) A project that I am working on (I'll probably make a post about it when the repo goes public) is using a lot of the ideas that this book covers. I havn't bought it but I very much so considering it.

Hand book of automated reasoning

Currently reading (and thus can't really make judgments):

Homotopy type theory

Category theory by Steve Awodey

Awodey's book feels more clear than Pierce's to me but I read Pierce's a year ago and have learned a lot since then so it's not really a fair comparison.

Logic:

I didn't like the book that I learned propositional and first order logic from so I don't really recommend any but these two topics form the foundations of the rest of the field of logic.

Hardagree has some good books for free online however: http://courses.umass...AIN/IHome-5.htm

I learned modal logic from this book: http://courses.umass...11-gmh/text.htm

Other:

Intro to topology

Another relevant book I have read that I hated was on Abstract Algebra. I didn't like it so I'm not recommending it but that is a useful topic in computer science.

**Benjamin C. Pierce:**first some Benjamin C. Pierce, he is very prolific in my area and I have read 3 of his books and worked with another. These books are the best. I feel like someone is personally teaching me when reading them.

Types and Programming Languages

Advanced topics in types and programming langauges

software foundations

basic category theory for computer scientists

**Programming language semantics:**Winskel is far more approachable. I would struggle to really make it though Gunter on my own at my current level. Gunter isn't bad but is preety hard to read.

Winskel's semantics of programming languges I recommend this. It takes effort but is worth it and not too hard

Gunter's semantics of programming languages

**Functional data structures:**I can't tell you how many times I've used a bankers queue thanks to this book.

Purely functional data structures Good book to reference every now and again. I haven't actually just sat down and read this book.

**Static Analysis:**Principals of Program Analysis (I've only covered abstract interpretation and data flow analysis but it was well enough written)

**Automated reasoning:**(I have not read this personally but want to. Classic) A project that I am working on (I'll probably make a post about it when the repo goes public) is using a lot of the ideas that this book covers. I havn't bought it but I very much so considering it.

Hand book of automated reasoning

Currently reading (and thus can't really make judgments):

Homotopy type theory

Category theory by Steve Awodey

Awodey's book feels more clear than Pierce's to me but I read Pierce's a year ago and have learned a lot since then so it's not really a fair comparison.

Logic:

I didn't like the book that I learned propositional and first order logic from so I don't really recommend any but these two topics form the foundations of the rest of the field of logic.

Hardagree has some good books for free online however: http://courses.umass...AIN/IHome-5.htm

I learned modal logic from this book: http://courses.umass...11-gmh/text.htm

Other:

Intro to topology

Another relevant book I have read that I hated was on Abstract Algebra. I didn't like it so I'm not recommending it but that is a useful topic in computer science.

This post has been edited by **ishkabible**: 05 June 2015 - 08:12 PM

### #38

## Re: Computer Science Book Suggestions

Posted 05 June 2015 - 08:15 PM

I'd recommend a couple Game Theory textbooks:

Fudenberg and Tirole is the classic for game theory in economics. It is relevant to computer scientists as well, though note that it requires some familiarity with real analysis.

Noam Nisan's book no Algorithmic Game Theory covers a lot of recent material, and is really a compilation of papers. It's well written, though, and very approachable. This is the standard textbook at the moment in the field. I'd highly recommend this to folks looking to study Algorithmic Game Theory.

Fudenberg and Tirole is the classic for game theory in economics. It is relevant to computer scientists as well, though note that it requires some familiarity with real analysis.

Noam Nisan's book no Algorithmic Game Theory covers a lot of recent material, and is really a compilation of papers. It's well written, though, and very approachable. This is the standard textbook at the moment in the field. I'd highly recommend this to folks looking to study Algorithmic Game Theory.

### #39

## Re: Computer Science Book Suggestions

Posted 16 June 2015 - 09:26 AM

For those interested in complexity theory, Arora-Barack is a sophisticated and very comprehensive book.

The Amazon link: http://www.amazon.co...h/dp/0521424267

The authors also provide a free draft: http://theory.cs.pri...edu/complexity/

The Amazon link: http://www.amazon.co...h/dp/0521424267

The authors also provide a free draft: http://theory.cs.pri...edu/complexity/

### #40

## Re: Computer Science Book Suggestions

Posted 01 August 2015 - 05:05 PM

Bijective Combinatorics by Nick Loehr is a fantastic book. There are lots of examples and intuition coupled with rigor and depth. It's a good advanced undergrad or graduate text, and a good desk reference. It also has a computer science-y feel, covering a decent amount of graph theory and a number of algorithms.

http://www.math.vt.e...hr/bijbook.html

http://www.math.vt.e...hr/bijbook.html

### #41

## Re: Computer Science Book Suggestions

Posted 17 November 2015 - 11:59 AM

Generatingfunctionology is a good read for Generating Functions.

https://www.math.upe...f/DownldGF.html

https://www.math.upe...f/DownldGF.html

### #42

## Re: Computer Science Book Suggestions

Posted 17 November 2015 - 02:25 PM

I just saw that Sedgewick and Wayne have written a book on programming in python. This could be interesting.

### #43

## Re: Computer Science Book Suggestions

Posted 23 November 2015 - 09:48 PM

Jason Hartline is a CS professor at Northwestern. His focus is Algorithmic Mechanism Design, and his textbook utilizes techniques from the theory of algorithms, game theory, and mechanism design. It looks like a good read!

http://jasonhartline.com/MDnA/

http://jasonhartline.com/MDnA/