mathematical foundations of computer science0001