Mathematical Induction (No Code)
Code contains algorithms that determine if a given relation R is reflexive, symmetric, anti-symmetric or transitive.
Code contains work to draw HASSE diagram after determining if a given relation R is reflexive, symmetric, anti-symmetric or transitive.
Recurrence Relation (No code)