When I went through Uni we learnt several different types of Math including discrete math, advanced calculus, and probability and stats. The math described in t

When I went through Uni we learnt several different types of Math including discrete math, advanced calculus, and probability and stats. The math described in the article falls under discrete math. The notation used is similar to that used within formal methods. However, since Uni I have rarely needed to use the math notation, and so I am unable to understand it without "interpreting" it. Such notations have most relevance to understanding database schemas and other set theory type problems, however, generally speaking, in software development using such a notation is unneeded. In summary, the reason computer scientists don't know math is not because they haven't been taught it, but rather that the notations are not very relevant, and therefore soon forgotten.