DISCRETE MATHEMATICS FOR COMPUTER SCIENCE