How to Learn Advanced Mathematics Without Heading to University

Re:How to Learn Advanced Mathematics Without Heading to Univ... by goc on Friday March 11, 2016 @12:57PM (#11268253)

Any one know any books or resources that concentrate on invariant programming? Translating recursive code into properly tail recursive or iterative code can be pretty difficult.

[ Parent | on HN ]

Re:How to Learn Advanced Mathematics Without Heading to Univ... by danharaj on Friday March 11, 2016 @01:18PM (#11268423)

`Pearls of Algorithmic Design` by Bird - Beautiful little book. It's a series of problems that are solved by first writing the naive program and then transforming it rigorously to make it more efficient.

`Algebra of Programming` by Bird and De Moor - This a treatment of the theory that is implicit in the methods of the previous book.

[ Parent | on HN ]

Re:How to Learn Advanced Mathematics Without Heading to Univ... by kenjackson on Friday March 11, 2016 @01:08PM (#11268338)

I recall that Concrete Mathematics has a pretty section on solving recurrence relations. That's probably as close as I can get you to this.

[ Parent | on HN ]