Mathematical foundation of Computer Science-I