Lecture videos for the Fall 2023 offering of CS 374 section AL1, taught by Jeff Erickson. See the course web site https://courses.engr.illinois.edu/cs374al1 for more information.
-
-
-
-
-
-
-
-
-
-
-
From Jeff Erickson
Recursive definitions of strings, string length, concatenation How to derive a proof by induction