Relations, functions, induction, and recursion: Mathematical Logic course | Zoonk
4. Relations, functions, induction, and recursion
Develops the mathematical structures used throughout logic: relations, functions, equivalence relations, partial orders, induction, and recursive definitions. Learners construct small examples and test their defining properties.