mathematical foundation of computer science notes pdf