Mathematics for Informatics