CSC236 in my opinion

Before I actually having a class of CSC236,
I thought this is a computer science course.
However, after I actually attend it, I found it's like a math course.
And now I realize that computer never goes alone without math!

I took MAT102 in UTM(equivalent to CSC165 in st George),
and I found CSC236 is totally built upon that course.
Induction proofs have dominated my first month classes
and I feel comfortable about it.
Principle of Well ordering is kind of new to me,
and I feel like PWO is a symbol of "contradiction".

Today we leaned recursion of function,
which is very similar to induction.
However, I really don't know why should we
learn all these proof strategies in order to
be a programmer.......