ACM members once had a poll to resurrect a few classic CS books. That poll slowly became a "favourite CS books" list.
This is the list: http://t.co/LOli1BKFuL
Some splendid suggestions there.
Foundations of Computer Science
41–50 of 89 posts
Re: Foundations of Computer Science
#42Why so many books these days are available to download for free one chapter at a time. It just makes reading worse.
I just downloaded the entire book using ' wget -mkp http://i.stanford.edu/~ullman/focs.html#pdfs ' (Should work from any *nix systems having wget utility; I tried from mac) (explained here http://opstribe.wordpress.com/2013/06/22/a-simpler-backup-me... )
That gets a lot more than the book PDFs... You could do something like this just to snag the chapters:
curl -O http://i.stanford.edu/~ullman/focs/ch[01-14].pdf
Still less than ideal since they aren't one file. But it's easy enough to merge together.
Re: Foundations of Computer Science
#43Re: Foundations of Computer Science
#44Earlier quoted context omitted.
I did not get the impression, from the blog posts, that HOTT was putting forth that CS could or is a super set of math just that it can be used as a foundation for all mathematics, just like set theory or category theory can be.
I think this is where terminology breaks down a bit, but my reading of "basis of" is taken as being loosely equivalent to saying a superset of. In this same sense, logic can be seen as the basis for all mathematics. Anything that is math is also strictly logic, hence math is a subset of logic.
Mathematics existed long before logic came to explain it, and most practicing mathematicians don't care that much about formal logic or think about it in their day-to-day work. The incompleteness theorems add a further disconnect.
Re: Foundations of Computer Science
#45Great book. It's amazing that after all these years the content is still relevant.
I mean, kind of, but not really. Math textbooks from the 60's are still relevant today, so why would computer science be sufficiently different? I can see that there are new concepts and whatnot, but there hasn't been any kind of fundamental change in thinking. I wouldn't expect there to be.
Re: Foundations of Computer Science
#46ACM members once had a poll to resurrect a few classic CS books. That poll slowly became a "favourite CS books" list. This is the list: http://t.co/LOli1BKFuL Some splendid suggestions there.
great list!!!!
Re: Foundations of Computer Science
#47Earlier quoted context omitted.
Homotopy type theory[1] is essentially working to show that math is (or can be viewed as) an interesting application of computer science. [1] http://homotopytypetheory.org/2013/06/20/the-hott-book/
HoTT even more than that. Type theory does what you describe without the "homotopy". See: http://golem.ph.utexas.edu/category/2013/06/the_hott_book.ht...
It will be easier to convince mathematicians that homotopy theory is maths than it will be to convince them that type theory is (in general).
Re: Foundations of Computer Science
#48Earlier quoted context omitted.
I think this is where terminology breaks down a bit, but my reading of "basis of" is taken as being loosely equivalent to saying a superset of. In this same sense, logic can be seen as the basis for all mathematics. Anything that is math is also strictly logic, hence math is a subset of logic.
Mathematics existed long before logic came to explain it, and most practicing mathematicians don't care that much about formal logic or think about it in their day-to-day work. The incompleteness theorems add a further disconnect.
I don't think it makes sense to say one can do mathematics without logic. Even if early math users didn't have a concept of formal logic, their mathematical reasoning was still dependent on it.
Re: Foundations of Computer Science
#49Interestingly this was not the book we used in Al Aho's CS Theory course in 2011.
But what book it was?
Re: Foundations of Computer Science
#50Here are all of the PDFs compiled into a single one with correct page numbers, including the preface etc. http://static.dyli.sh/Foundations%20of%20Computer%20Science%...