Timeline for How to teach generalizing the induction hypothesis? [closed]
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2015 at 7:48 | history | closed |
Andrés E. Caicedo Suvrit Benjamin Dickman Alex Degtyarev Neil Strickland |
Not suitable for this site | |
| Apr 24, 2015 at 22:23 | review | Close votes | |||
| Apr 25, 2015 at 0:03 | |||||
| Apr 24, 2015 at 21:53 | comment | added | Tony Huynh | I asked the following related question mathoverflow.net/questions/31699/… | |
| Apr 24, 2015 at 21:46 | answer | added | Timothy Chow | timeline score: 2 | |
| Apr 24, 2015 at 13:34 | comment | added | Neel Krishnaswami | @GerryMyerson: 1) yes, that's what I mean. 2) I'll add some examples soon. | |
| Apr 24, 2015 at 12:50 | comment | added | Gerry Myerson | 1) When you write, "generalization", do you mean, "strengthening"? 2) Since you have noticed students have trouble doing it, you must know some examples, yourself. Why not start us off with the ones you know --- that will both clarify your meaning, and save all of us the effort of telling you things you already know. | |
| Apr 24, 2015 at 11:46 | comment | added | joro | Since you write "provably correct programs", is someone teaching "provably correct CPU"? Last time I checked the CPU errata of the major CPU vendors there were a lot of "issues". | |
| Apr 24, 2015 at 10:00 | comment | added | Neil Strickland | This would be better at matheducators.stackexchange.com | |
| Apr 24, 2015 at 9:38 | comment | added | Hachino | Community Wiki ? | |
| Apr 24, 2015 at 9:37 | history | asked | Neel Krishnaswami | CC BY-SA 3.0 |