結果 : mathematical foundation of computer science bca sem 1 book