[bitxbitxbitcoin]

It has been over a decade so I don't exactly remember - I looked it up and the class was Introduction to Mathematical Reasoning.

What I personally recall was following along in class while the professor walked through classic proofs emphasizing what each new notation meant as well as the difference between Direct, indirect, and induction proofs. Tests and assignments were essentially recreating proofs cherry picked to be similar to ones we walked through in class.

I realize that's kind of how all my higher level math classes were run. It's just that once the cherry picking becomes looser, intuition doesn't necessarily catch up :(.