Add discrete math notes