mathematical foundations of computer science r16