fundamental theory of computer science​