Mathematical Foundations of Computer Science-II