Mathematical Foundation Of Computer Sceince