Foundations of Computer Science-1