Spaced Repetition for Mathematics (2021)

The system then quizzes you on these cards, so that you're able to recall the information when prompted. The kind of cards you need to make are less evident than for learning a foreign language, where it's clear what information needs to be committed to memory. Very often, I'll need to split up longer proofs into multiple cards requiring the full proof of some step, and then a higher level card asking for the strategy of the proof overall, assembling the small parts together. Whereas the previous kind of cards gives us the theorem, and asks us for the proof, this kind of card gives us part of a theorem, and asks us what conditions we need for this theorem to hold. Another kind of card asks you to recall some property of some object. Having a definition card, a characterization card, some proofs, and then recalling various properties. One technique I've mentioned is to split a large proof into small proof cards for each part, and then create a high level proof overview card gluing them together.