Differences
This shows you the differences between two versions of the page.
|
aa:lecture18 [2025/01/15 16:16] dmihai created |
aa:lecture18 [2025/01/20 14:46] (current) dmihai |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| {{:aa:strind.pdf|18. Structural Induction (lecture notes)}} | {{:aa:strind.pdf|18. Structural Induction (lecture notes)}} | ||
| + | {{:aa:structural-induction.pdf|18. Structural Induction (slides)}} | ||