Implementing Red black Tree with property-based testing in Pythonsongfengting.com1 points·by yuanshan·قبل 6 سنوات·0 comments
yuanshan·قبل 6 سنوات·discuss“The only way to learn a new programming language is by writing programs in it”. -- <K & R>
yuanshan·قبل 6 سنوات·discussThere is an open abstract algebra book that is similar, also rendered by pretextbook framework.http://abstract.pugetsound.edu/aata/aata.html
yuanshan·قبل 6 سنوات·discussUsually, 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