mathematical foundation of computer science