What Is Abstract Algebra? [video]

Re:What Is Abstract Algebra? [video] by contravariant on Wednesday December 28, 2016 @04:25AM (#13269456)

The book 'The science of programming' of David Gries is also a nice introduction to writing programs using mathematical logic and reasoning. The book is inspired by the techniques of Dijkstra and Hoare, and written in a way that's easy to follow.

[ Parent | on HN ]

Re:What Is Abstract Algebra? [video] by happynewyear on Wednesday December 28, 2016 @06:28PM (#13274586)

I guess this is a whimsical aside/

I looked that up and got this sample of that book: http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gr...

Looking up Stepanov's book, landed on his slide deck about the book.

Interestingly enough, both are about the remainder algorithm, and Gries' mentions a "large program" of "3000 lines", which reminded me of the other comment and the 3000000 to 30000 figure.

[Stepanov's deck: http://stepanovpapers.com/EoP-StanfordEE380.pdf]

[ Parent | on HN ]

Re:What Is Abstract Algebra? [video] by miloshadzic on Wednesday December 28, 2016 @02:10PM (#13272790)

Jeez, was about to buy it but it's about 90. What's the deal with this pricing?

[ Parent | on HN ]

Re:What Is Abstract Algebra? [video] by KurtMueller on Thursday December 29, 2016 @03:46PM (#13279987)

I did a google search of the book and found a pdf as the first result:

http://blg89.net/blog/wp-content/uploads/2013/11/The-Science...

[ Parent | on HN ]