This video is supported by translatebox.io
Further reading:
en.wikipedia.org/wiki/Well-fo...
en.wikipedia.org/wiki/Ascendi...
en.wikipedia.org/wiki/Structu...
Timestamps:
00:00 - Intro
02:18 - The Induction
02:54 - Noetherian Induction
03:55 - Structural Induction
05:36 - Example of structural induction
07:12 - Problems with our proof
08:09 - Computation Induction
10:43 - Example of computation induction
12:34 - A bit of discussion
Негізгі бет Ғылым және технология Haskell for Imperative Programmers #39 - Induction Proofs
Пікірлер: 11