Discrete mathematics with combinatorics