A good programmer may use many of these types of math without even knowing the formal names. Sometimes knowing the formalism helps a lot, sometimes it doesn't

A good programmer may use many of these types of math without even knowing the formal names. Sometimes knowing the formalism helps a lot, sometimes it doesn't add much. Some people overly obsess with formalisms and some people are overly adverse to them. I do find people who need to over-formalize everything to be annoyingly pedantic.