Former Illinois student here. There was another course called CS173 Discrete Structures that we took as a prereq to this class. You can find the textbook here http://mfleck.cs.illinois.edu/building-blocks/index.html with a chapter dedicated to induction