Computer Science Book Suggestions

  • (3 Pages)
  • +
  • 1
  • 2
  • 3

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

#31 stephen.d  Icon User is offline

  • New D.I.C Head

Reputation: 6
  • View blog
  • Posts: 15
  • Joined: 03-August 13

Re: Computer Science Book Suggestions

Posted 25 August 2013 - 08:35 AM

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

SICP is completely free online.
Was This Post Helpful? 1
  • +
  • -

#32 ishkabible  Icon User is offline

  • spelling expret
  • member icon





Reputation: 1739
  • View blog
  • Posts: 5,895
  • Joined: 03-August 09

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.
Was This Post Helpful? 3
  • +
  • -

#33 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

Re: Computer Science Book Suggestions

Posted 26 August 2013 - 10:58 AM

Savage publishes his Models of Computation online for free.
Was This Post Helpful? 0
  • +
  • -

#34 jon.kiparsky  Icon User is offline

  • Screw Trump (before he screws you)
  • member icon


Reputation: 10625
  • View blog
  • Posts: 18,185
  • Joined: 19-March 11

Re: Computer Science Book Suggestions

Posted 26 August 2013 - 11:19 AM

View Postishkabible, 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

Was This Post Helpful? 1
  • +
  • -

#35 ishkabible  Icon User is offline

  • spelling expret
  • member icon





Reputation: 1739
  • View blog
  • Posts: 5,895
  • Joined: 03-August 09

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.
Was This Post Helpful? 0
  • +
  • -

#36 CY5  Icon User is offline

  • D.I.C Regular

Reputation: 17
  • View blog
  • Posts: 413
  • Joined: 28-September 12

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
Was This Post Helpful? 0
  • +
  • -

#37 ishkabible  Icon User is offline

  • spelling expret
  • member icon





Reputation: 1739
  • View blog
  • Posts: 5,895
  • Joined: 03-August 09

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.

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

Was This Post Helpful? 2
  • +
  • -

#38 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

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.
Was This Post Helpful? 0
  • +
  • -

#39 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

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/
Was This Post Helpful? 0
  • +
  • -

#40 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

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
Was This Post Helpful? 0
  • +
  • -

#41 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

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
Was This Post Helpful? 0
  • +
  • -

#42 jon.kiparsky  Icon User is offline

  • Screw Trump (before he screws you)
  • member icon


Reputation: 10625
  • View blog
  • Posts: 18,185
  • Joined: 19-March 11

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.
Was This Post Helpful? 0
  • +
  • -

#43 macosxnerd101  Icon User is online

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12135
  • View blog
  • Posts: 45,119
  • Joined: 27-December 08

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/
Was This Post Helpful? 0
  • +
  • -

  • (3 Pages)
  • +
  • 1
  • 2
  • 3