yuanshan

6 лет назадdiscuss

“The only way to learn a new programming language is by writing programs in it”. -- <K & R>

6 лет назадdiscuss

There is an open abstract algebra book that is similar, also rendered by pretextbook framework.

http://abstract.pugetsound.edu/aata/aata.html

yuanshan

6 лет назадdiscuss

Usually, some people will post some or almost all of the solutions online if the textbook is really famous, for instance, baby rudin.

Although rarely, some authors do provide solutions, like Knuth's books, Stephen Abbott's Understanding Anaylsis, etc.

For immediate feedback, maybe you can checkout [0] to learn some formal proof by doing interactive proving.

[0] http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game...

BTW, you can always ask questions on https://math.stackexchange.com

Submissions

Implementing Red black Tree with property-based testing in Python

comments