Mathematical Foundations in Computer Science