Questions tagged [induction]
Questions related to teaching mathematical induction in computer science. Use this tag to ask about aspects of teaching some or all of the steps in an inductive proof.
4
questions
6
votes
3
answers
150
views
Making induction meaningful
I've been teaching inductive proofs of code correctness to high school students for three years now, and the instruction has steadily improved. Many of the students come in not having done inductive ...
- 32.9k
5
votes
2
answers
190
views
Good resource for practice problems for inductive proofs
Every year, I teach my students about using induction to prove that algorithms function as intended. My purpose, in instructing them, is to help them master the structure of the proof itself. I use ...
- 32.9k
9
votes
7
answers
1k
views
Teaching loop invariant choice
This is in line with a prior question I asked about teaching induction, but this is specific to the loop invariant step.
I have not had great success helping my students see how to choose a loop ...
- 32.9k
8
votes
3
answers
396
views
Teaching Induction to Prove the Correctness of Algorithms
This is a subject that I have had a lot of trouble clarifying for students. I can explain the components well enough, but I have trouble getting kids to connect the big picture of the proof to the ...
- 32.9k