mathematical foundations of computer science sup