Mathematical background for computer scientists

Here is an interesting article about the mathematical tools for computer scientists. Some concepts that we might use on a daily basis summerized by John F. Sowa

http://www.jfsowa.com/logic/math.htm