discrete math updated