discrete mathematics tree