結果 : is a branch of mathematics with close connections to computer science