Discrete Mathematics Using a Computer