Title: Mathematical aspects of computer science