MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: FOR B.SC