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