Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 1550
1 vote

Is there any example of a "forwards/backwards" induction?

I am not a fan of the so-called "Cauchy induction" mentioned in the other answer, for the reasons mentioned in my comment there. … It definitely is impossible for anyone who is familiar with an FOL deductive system to be unable to understand induction properly, as it is completely obvious what exactly induction means from the nature …
user21820's user avatar
  • 2,794
15 votes

Why are induction proofs so challenging for students?

possibly know what they understand or do not understand about induction. … Notes (only for the teacher, not the student learning induction!) …
user21820's user avatar
  • 2,794
25 votes

Why are induction proofs so challenging for students?

For CS students specifically, there is another approach that would work better than the usual way induction is taught, namely by teaching structural induction, which goes like this: If you want to prove … This doesn't solve the problem of not understanding the logical underpinnings of induction, but at least it solves the problem of using induction wrongly. …
user21820's user avatar
  • 2,794
4 votes

Good, simple examples of induction?

It would also be instructive to try and minimize the number of times the induction axiom is used. (But no, I won't suggest that one should also try to prove this minimum. =P) …
user21820's user avatar
  • 2,794
13 votes

Good, simple examples of induction?

This problem is just the right difficulty and can ensure that students really understand what induction is. …
user21820's user avatar
  • 2,794