This lecture introduces the concept of induction for natural numbers and lists. The emphasis is on carefully explaining the process of doing proofs by induction, and the kind of techniques that are used when performing such proofs.
Course playlist: tinyurl.com/haskell-notts2
Негізгі бет AFP 12 - Induction
Пікірлер: 6